CVE-2024-37794

Published: Jun 17, 2024

Modified: Aug 2, 2024

PUBLISHED

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

Vendor	Product	Versions
n/a	n/a	affected `n/a`

Security Training

Train your team to recognize and prevent security threats with our comprehensive security awareness program.

Vulnerability Scanning

Discover vulnerabilities in your applications and infrastructure before attackers do.