CVE-2024-37794

2024-06-1718:15:17

Debian Security Bug Tracker

security-tracker.debian.org

improper input validation

cvc5 solver v1.1.3

denial of service

crafted smt2 input file

6.8 Medium

AI Score

Confidence

High

0.0004 Low

EPSS

Percentile

9.1%

JSON

Improper input validation in CVC5 Solver v1.1.3 allows attackers to cause a Denial of Service (DoS) via a crafted SMT2 input file.

OSVersionArchitecturePackageVersionFilename
Debian12allcvc5<= 1.0.3-1cvc5_1.0.3-1_all.deb
Debian999allcvc5<= 1.1.2-2cvc5_1.1.2-2_all.deb
Debian13allcvc5<= 1.1.2-2cvc5_1.1.2-2_all.deb

OS	Version	Architecture	Package	Version	Filename
Debian	12	all	cvc5	<= 1.0.3-1	cvc5_1.0.3-1_all.deb
Debian	999	all	cvc5	<= 1.1.2-2	cvc5_1.1.2-2_all.deb
Debian	13	all	cvc5	<= 1.1.2-2	cvc5_1.1.2-2_all.deb