| Name | CVE-2024-37794 |
| 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. |
| 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/10945
https://github.com/cvc5/cvc5/commit/a2c2f5e971916d947e9efa41e22036db8a0a7956 (cvc5-1.2.0)
Negligible security impact