CVE-2024-37794: CVC5

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

Improper input validation in CVC5 Solver v1.1.3 allows attackers to cause a Denial of Service (DoS) via a crafted SMT2 input file.

Affected products

• CVC5 CVC5: version 1.1.3 only

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