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