CVE-2024-37794 Blast Radius

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

Is Your Infrastructure Using These Packages?

EchelonGraph automatically scans your cloud infrastructure and SBOMs to map your exposure to vulnerabilities like CVE-2024-37794.

Start Free Scan →← Back to CVE-2024-37794