Cloud Vulnerability DB
A community-led vulnerabilities database
Vulnerability DatabaseCVE-2024-37794
CVE-2024-37794:
Linux Debian vulnerability analysis and mitigation
Overview
Improper input validation in CVC5 Solver v1.1.3 allows attackers to cause a Denial of Service (DoS) via a crafted SMT2 input file (NVD). The vulnerability was discovered and disclosed on June 17, 2024, affecting the CVC5 theorem prover software.
Technical details
The vulnerability stems from improper handling of division by zero operations in SMT2 input files. When processing expressions containing division by zero (such as '5/0'), the solver crashes with a floating-point exception (FPE) instead of gracefully handling the error. The issue has been assigned a CVSS v3.1 base score of 7.5 HIGH with vector: CVSS:3.1/AV:N/AC:L/PR:N/UI:N/S:U/C:N/I:N/A:H (NVD, GitHub Issue).
Impact
When exploited, this vulnerability can cause the CVC5 Solver to crash, resulting in a Denial of Service condition. This can affect systems and applications that rely on CVC5 for theorem proving and constraint solving (NVD).
Additional resources
Source: This report was generated using AI
Related Linux Debian vulnerabilities:
Free Vulnerability Assessment
Benchmark your Cloud Security Posture
Evaluate your cloud security practices across 9 security domains to benchmark your risk level and identify gaps in your defenses.
Additional Wiz resources
Get a personalized demo
Ready to see Wiz in action?
"Best User Experience I have ever seen, provides full visibility to cloud workloads."
David EstlickCISO
"Wiz provides a single pane of glass to see what is going on in our cloud environments."
Adam FletcherChief Security Officer
"We know that if Wiz identifies something as critical, it actually is."
Greg PoniatowskiHead of Threat and Vulnerability Management