| 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 |
| trixie, sid | 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) | unimportant | | 1074235 |
Notes
https://github.com/cvc5/cvc5/issues/10813
https://github.com/cvc5/cvc5/pull/10818
https://github.com/cvc5/cvc5/commit/3f1ed7bbaff5dfb7b32217ba3c11e9d9a697045b (cvc5-1.2.0)
Negligible security impact