CVE-2024-37795
High
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.
SeverityHigh
CVSS7.5
Exploit probability—
ProductCvc5
PublishedJun 17, 2024
First seenJun 17, 2024
Weakness typeCWE-125Out-of-bounds read
How to fix
Sources list no fixed version or patch link for this vulnerability.
Affected products
| Product | Affected versions | Fixed in |
|---|---|---|
| cvc5 cvc5 | 1.1.3 | — |
Check your version
Choose the product and enter the version you run to see whether it falls in the affected range.
In the Intelligence 360 plan
Attack Surface Management
See the assets tied to your domains, the technologies they run and known vulnerabilities in one list.