CVE-2024-37794

NameCVE-2024-37794
DescriptionImproper input validation in CVC5 Solver v1.1.3 allows attackers to cause a Denial of Service (DoS) via a crafted SMT2 input file.
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 <ignored> (Minor issue)
[bullseye] - cvc5 <no-dsa> (Minor issue)
https://github.com/cvc5/cvc5/issues/10813
https://github.com/cvc5/cvc5/pull/10945

Search for package or bug name: Reporting problems