CVE-2024-37795: CVC5

High severity, CVSS 7.5. EPSS: 0.5% chance of exploitation in the next 30 days.

A segmentation fault in CVC5 Solver v1.1.3 allows attackers to cause a Denial of Service (DoS) via a crafted SMT-LIB input file containing the `set-logic` command with specific formatting errors.

Affected products

• CVC5 CVC5: version 1.1.3 only

Published 2024-06-17. Last modified 2026-06-17.