CVE-2024-37794

unknown

Published — · Modified —

💬 Discuss on Community ✚ Propose mitigation

CVSS v3

—

CVSS v4 NEW

—

not yet in upstream

VIR risk

—

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.

Predictions

Exploit likelihood

20%

Patch ETA

—

Heuristic predictions, AS-IS, for prioritization only.

Mitigations

Mitigation details

Source: Debian Security Tracker · View original ↗ · DFSG

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, ENISA, LWN, oss-sec, fulldisc, Debian ELTS, Red Hat, Ubuntu, Gentoo, SUSE bugzilla/CVE, GitHub advisories/code/issues, web search, more) Debian Bugs1074235 Vulnerable and fixed packages The table…

CVE-2024-37794

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, ENISA, LWN, oss-sec, fulldisc, Debian ELTS, 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	1.1.2-2	vulnerable
	sid	1.3.2-1	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

Home - Debian Security - Source (Git)

Apply commands

text fix

Notes

https://github.com/cvc5/cvc5/issues/10813https://github.com/cvc5/cvc5/pull/10945https://github.com/cvc5/cvc5/commit/a2c2f5e971916d947e9efa41e22036db8a0a7956 (cvc5-1.2.0)Negligible security impact

OS impact

OS	Version	Status
debian	bookworm	affected
debian	forky	affected
debian	sid	affected
debian	trixie	affected

References

https://security-tracker.debian.org/tracker/CVE-2024-37794

Community-verified mitigations for this CVE will appear above when contributors publish them.

Verify integrity in audit chain (admin only). AS-IS.