Lucene search
MitreCVELIST:CVE-2024-37795HistoryJun 17, 2024 - 12:00 a.m.
CVE-2024-37795
2024-06-1700:00:00
mitre
www.cve.org
cvc5 solver
segmentation fault
denial of service
0.0004 Low
EPSS
Percentile
9.1%
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.
References
Related
vulnrichment
vulnrichment
CVE-2024-37795
2024-06-17 00:00:00
nvd
nvd
CVE-2024-37795
2024-06-17 18:15:17
debiancve
debiancve
CVE-2024-37795
2024-06-17 18:15:17
ubuntucve
ubuntucve
CVE-2024-37795
2024-06-17 00:00:00
cve
cve
CVE-2024-37795
2024-06-17 18:15:17