Cloud Vulnerability DB
A community-led vulnerabilities database
Vulnerability DatabaseCVE-2024-37795
CVE-2024-37795:
Linux Debian vulnerability analysis and mitigation
Overview
A segmentation fault vulnerability has been identified in CVC5 Solver v1.1.3 that 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 (NVD).
Technical details
The vulnerability is classified as an Out-of-bounds Read (CWE-125) issue. The CVSS v3.1 base score is 7.5 (HIGH) with the following vector: CVSS:3.1/AV:N/AC:L/PR:N/UI:N/S:U/C:N/I:N/A:H (NVD).
Impact
When successfully exploited, this vulnerability can lead to a Denial of Service (DoS) condition, affecting the availability of the CVC5 Solver service (NVD).
Mitigation and workarounds
The vulnerability affects CVC5 Solver version 1.1.3. Users should monitor for patches and updates from the vendor (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