CVE-2024-37794

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.

Category

7.5
CVSS
Severity: High
CVSS 3.1 •
EPSS 0.21%
Affected: n/a n/a
Published at:
Updated at:

References

Link Tags
https://github.com/cvc5/cvc5/issues/10813

Frequently Asked Questions

What is the severity of CVE-2024-37794?
CVE-2024-37794 has been scored as a high severity vulnerability.
How to fix CVE-2024-37794?
To fix CVE-2024-37794, make sure you are using an up-to-date version of the affected component(s) by checking the vendor release notes. As for now, there are no other specific guidelines available.
Is CVE-2024-37794 being actively exploited in the wild?
As for now, there are no information to confirm that CVE-2024-37794 is being actively exploited. According to its EPSS score, there is a ~0% probability that this vulnerability will be exploited by malicious actors in the next 30 days.
This platform uses data from the NIST NVD, MITRE CVE, MITRE CWE, First.org and CISA KEV but is not endorsed or certified by these entities. CVE is a registred trademark of the MITRE Corporation and the authoritative source of CVE content is MITRE's CVE web site. CWE is a registred trademark of the MITRE Corporation and the authoritative source of CWE content is MITRE's CWE web site.
© 2025 Under My Watch. All Rights Reserved.