CVE-2024-37795

NameCVE-2024-37795
DescriptionA 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.
SourceCVE (at NVD; CERT, LWN, oss-sec, fulldisc, Red Hat, Ubuntu, Gentoo, SUSE bugzilla/CVE, GitHub advisories/code/issues, web search, more)
Debian Bugs1074235

Vulnerable and fixed packages

The table below lists information on source packages.

Source PackageReleaseVersionStatus
cvc5 (PTS)bookworm1.0.3-1vulnerable
trixie, sid1.1.2-2vulnerable

The information below is based on the following data on fixed versions.

PackageTypeReleaseFixed VersionUrgencyOriginDebian Bugs
cvc5source(unstable)(unfixed)unimportant1074235

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

Search for package or bug name: Reporting problems