Vulnerability · Published Jun 17, 2024 · Assigned by mitre
CVE-2024-37794
High 7.5
In plain English
A high-severity improper input validation 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
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 packages & fixed versions
| Ecosystem | Package | Fixed in | Advisory |
|---|---|---|---|
| Debian:12 | cvc5 | no fix listed | DEBIAN-CVE-2024-37794 |
| Debian:13 | cvc5 | no fix listed | DEBIAN-CVE-2024-37794 |
| Ubuntu:24.04:LTS | cvc5 | no fix listed | UBUNTU-CVE-2024-37794 |
| Ubuntu:25.10 | cvc5 | no fix listed | UBUNTU-CVE-2024-37794 |
| Ubuntu:26.04:LTS | cvc5 | no fix listed | UBUNTU-CVE-2024-37794 |
| Ubuntu:26.10 | cvc5 | no fix listed | UBUNTU-CVE-2024-37794 |
Affected products (as reported)
Weakness: CWE-20 · Vector: CVSS:3.1/AV:N/AC:L/PR:N/UI:N/S:U/C:N/I:N/A:H