| Name | CVE-2024-37795 |
| 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. |
| Source | CVE (at NVD; CERT, LWN, oss-sec, fulldisc, Red Hat, Ubuntu, Gentoo, SUSE bugzilla/CVE, GitHub advisories/code/issues, web search, more) |
| Debian Bugs | 1074235 |
Vulnerable and fixed packages
The table below lists information on source packages.
| Source Package | Release | Version | Status |
|---|
| cvc5 (PTS) | bookworm | 1.0.3-1 | vulnerable |
| sid, trixie | 1.1.2-2 | vulnerable |
The information below is based on the following data on fixed versions.
| Package | Type | Release | Fixed Version | Urgency | Origin | Debian Bugs |
|---|
| cvc5 | source | (unstable) | (unfixed) | | | 1074235 |
Notes
[bookworm] - cvc5 <ignored> (Minor issue)
[bullseye] - cvc5 <no-dsa> (Minor issue)
https://github.com/cvc5/cvc5/issues/10813
https://github.com/cvc5/cvc5/pull/10818