What’s Vulnerable › Vulnerabilities
CVE-2024-37795
- Severity: high (CVSS 7.5 v3.1)
- Exploited in the wild: not listed in CISA KEV
- EPSS: 0.5% probability of exploitation in the next 30 days
- Public exploit or detection template: none known
- Published: 2024-06-17 · updated 2026-06-17
- Weakness: CWE-125
Description
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: 1.1.3
References
Get alerted when CVE-2024-37795 or the next vulnerability affects your stack