CVE-2024-37794
- Source
- https://cve.org/CVERecord?id=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:17.853Z
- Modified
- 2026-03-14T12:34:26.800076Z
- Severity
-
- 7.5 (High) CVSS_V3 - CVSS:3.1/AV:N/AC:L/PR:N/UI:N/S:U/C:N/I:N/A:H CVSS Calculator
- 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