Products
CVC5 Solver
- 1.1.3
Source
cve@mitre.org
Tags
CVE-2024-37794 details
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.
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.
CVSS Score
1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 |
---|
Weakness
Weakness | Name | Description |
---|
References
URL | Source |
---|---|
https://github.com/cvc5/cvc5/issues/10813 | cve@mitre.org |
This website uses the NVD API, but is not approved or certified by it.