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

CVE-2024-37794

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

Tags

cve@mitre.org
2024-06-17
CVE-2024-37794

Product(s) Impacted

CVC5 Solver

  • 1.1.3

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.

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