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
sid, trixie1.1.2-2vulnerable

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

PackageTypeReleaseFixed VersionUrgencyOriginDebian Bugs
cvc5source(unstable)(unfixed)1074235

Notes

[bookworm] - cvc5 <no-dsa> (Minor issue)
[bullseye] - cvc5 <no-dsa> (Minor issue)
https://github.com/cvc5/cvc5/issues/10813

Search for package or bug name: Reporting problems