← Back to CVE List

CVE-2024-37795

Published: 2024-06-17T18:15Z
Last Modified: 2024-11-21T09:24Z
Source: MITRE CVE List
License: MITRE-CVE-TOS
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. > MITRE Terms of Use apply – see LICENSE‑MITRE.txt