Today > vulnerabilities - You can now download lists of IOCs here!

CVE-2024-37795

June 17, 2024, 6:15 p.m.

Product(s) Impacted

CVC5 Solver

1.1.3

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.

Weaknesses

Date

Published: 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 info

Source

cve@mitre.org

References

https://github.com/ cve@mitre.org