What’s Vulnerable › Vulnerabilities

CVE-2024-37794

• Severity: high (CVSS 7.5 v3.1)
• Exploited in the wild: not listed in CISA KEV
• EPSS: 0.5% probability of exploitation in the next 30 days
• Public exploit or detection template: none known
• Published: 2024-06-17 · updated 2026-06-17
• Weakness: CWE-20

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.

Affected products

• Cvc5: 1.1.3

References

• https://github.com/cvc5/cvc5/issues/10813
• https://github.com/cvc5/cvc5/issues/10813

Get alerted when CVE-2024-37794 or the next vulnerability affects your stack