CVE-2024-37794
June 17, 2024, 6:15 p.m.
None
No Score
Description
Improper input validation in CVC5 Solver v1.1.3 allows attackers to cause a Denial of Service (DoS) via a crafted SMT2 input file.
Product(s) Impacted
| Product | Versions |
|---|---|
| CVC5 Solver |
|
Weaknesses
Common security weaknesses mapped to this vulnerability.
References
Tags
Timeline
Published: June 17, 2024, 6:15 p.m.
Last Modified: June 17, 2024, 6:15 p.m.
Last Modified: June 17, 2024, 6:15 p.m.
Status : Received
CVE has been recently published to the CVE List and has been received by the NVD.
More infoSource
cve@mitre.org
*Disclaimer: Some vulnerabilities do not have an associated CPE. To enhance the data, we use AI to infer CPEs based on CVE details. This is an automated process and might not always be accurate.