A segmentation fault in CVC5 Solver v1.1.3 allows attackers to cause a Denial of Service (DoS) via a crafted SMT-LIB input file containing the `set-logic` command with specific formatting errors.
References
Link | Resource |
---|---|
https://github.com/cvc5/cvc5/issues/10813 |
Configurations
No configuration.
History
03 Jul 2024, 02:04
Type | Values Removed | Values Added |
---|---|---|
CVSS |
v2 : v3 : |
v2 : unknown
v3 : 7.5 |
CWE | CWE-125 |
20 Jun 2024, 12:44
Type | Values Removed | Values Added |
---|---|---|
Summary |
|
17 Jun 2024, 18:15
Type | Values Removed | Values Added |
---|---|---|
New CVE |
Information
Published : 2024-06-17 18:15
Updated : 2024-07-03 02:04
NVD link : CVE-2024-37795
Mitre link : CVE-2024-37795
CVE.ORG link : CVE-2024-37795
JSON object : View
Products Affected
No product.
CWE
CWE-125
Out-of-bounds Read