CVE-2024-37794

Source
https://nvd.nist.gov/vuln/detail/CVE-2024-37794
Import Source
https://storage.googleapis.com/cve-osv-conversion/osv-output/CVE-2024-37794.json
JSON Data
https://api.osv.dev/v1/vulns/CVE-2024-37794
Downstream
Published
2024-06-17T18:15:17Z
Modified
2025-08-09T19:01:28Z
Summary
[none]
Details

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

References

Affected packages