CVE-2024-37795
HIGHCVSS 7.5/10EPSS 0.47%
Last modified
CVE-2024-37795 is a high-severity vulnerability rated 7.5/10 on the CVSS scale. A segmentation fault in CVC5 Solver v1.1.3 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.. EPSS estimates a 0.47% chance of exploitation in the next 30 days.
Description
A segmentation fault in CVC5 Solver v1.1.3 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.
Metrics
CVSS:3.1/AV:N/AC:L/PR:N/UI:N/S:U/C:N/I:N/A:H
Weakness Enumeration
References
Timeline
- Published
- Last Modified
- Status
- Deferred
Frequently Asked Questions
What is CVE-2024-37795?
A segmentation fault in CVC5 Solver v1.1.3 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.
How severe is CVE-2024-37795?
CVE-2024-37795 has a CVSS score of 7.5/10 (HIGH severity). The EPSS model estimates a 0.47% probability of exploitation in the next 30 days.
How do I fix CVE-2024-37795?
Check the vendor references and advisories linked above for patched versions and mitigation guidance. You can also run a Strix scan to test if your systems are affected.
How Strix Helps
- How Strix found a critical auth bypass in etcdStrix autonomously discovered a critical authentication bypass in etcd, later designated CVE-2026-33413.
- Autonomous PentestingAI agents that find and validate exploitable vulnerabilities like this one across your applications.
- PR ReviewsPentest every pull request so vulnerable code is caught before it ships to production.
- AI Penetration TestingHow AI-driven penetration testing continuously covers your attack surface.
Related CVEs from 2024
- CVE-2024-37782An LDAP injection vulnerability in the login page of Gladine…9.8
- CVE-2024-37783A reflected cross-site scripting (XSS) vulnerability in Glad…5.4
- CVE-2024-3779Denial of service vulnerability present shortly after produc…5.5
- CVE-2024-37790Rejected reason: DO NOT USE THIS CVE RECORD. ConsultIDs: non…
- CVE-2024-37791DuxCMS3 v3.1.3 was discovered to contain a SQL injection vul…6
- CVE-2024-37794Improper input validation in CVC5 Solver v1.1.3 allows attac…7.5
- CVE-2024-37798Cross-site scripting (XSS) vulnerability in search-appointme…5.9
- CVE-2024-37799CodeProjects Restaurant Reservation System v1.0 was discover…5.4
- CVE-2024-3780A vulnerability of Information Exposure has been found on Te…7.8
- CVE-2024-37800CodeProjects Restaurant Reservation System v1.0 was discover…6.1
- CVE-2024-37802CodeProjects Health Care hospital Management System v1.0 was…8.8
- CVE-2024-37803Multiple stored cross-site scripting (XSS) vulnerabilities i…5.4
Are you affected by CVE-2024-37795?
Run a free Strix scan to check your systems for this vulnerability.
Scan your code nowSource: NVD / NIST