Vulnerability · Published Jun 17, 2024 · Assigned by mitre
CVE-2024-37795
High 7.5
In plain English
A high-severity out-of-bounds read in the cvc5 package (Debian). There are no confirmed reports of exploitation so far. The chance it is exploited in the next 30 days is estimated at 0.5% (higher than 41% of all known vulnerabilities).
Severity (CVSS 3.1)7.5High
Exploit odds (30 days)0.5%top 59.4% of all CVEs
Exploited in the wildNo reportsCISA SSVC: none
Attack toolingNoneno public tooling known
Official 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 packages & fixed versions
| Ecosystem | Package | Fixed in | Advisory |
|---|---|---|---|
| Debian:12 | cvc5 | no fix listed | DEBIAN-CVE-2024-37795 |
| Debian:13 | cvc5 | no fix listed | DEBIAN-CVE-2024-37795 |
| Ubuntu:24.04:LTS | cvc5 | no fix listed | UBUNTU-CVE-2024-37795 |
| Ubuntu:25.10 | cvc5 | no fix listed | UBUNTU-CVE-2024-37795 |
| Ubuntu:26.04:LTS | cvc5 | no fix listed | UBUNTU-CVE-2024-37795 |
| Ubuntu:26.10 | cvc5 | no fix listed | UBUNTU-CVE-2024-37795 |
Affected products (as reported)
Weakness: CWE-125 · Vector: CVSS:3.1/AV:N/AC:L/PR:N/UI:N/S:U/C:N/I:N/A:H