CVE ID : CVE-2024-37795
Published : June 17, 2024, 6:15 p.m. | 1 hour, 5 minutes ago
Description : 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.
Severity: 0.0 | NA
Visit the link for more details, such as CVSS details, affected products, timeline, and more…CVE ID : CVE-2024-37795
Published : June 17, 2024, 6:15 p.m. | 1 hour, 5 minutes ago
Description : 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.
Severity: 0.0 | NA
Visit the link for more details, such as CVSS details, affected products, timeline, and more…