{"id":"CVE-2024-37795","details":"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.","modified":"2026-03-14T12:44:49.909634Z","published":"2024-06-17T18:15:17.953Z","references":[{"type":"REPORT","url":"https://github.com/cvc5/cvc5/issues/10813"}],"affected":[{"database_specific":{"source":"https://storage.googleapis.com/cve-osv-conversion/osv-output/CVE-2024-37795.json"}}],"schema_version":"1.7.5","severity":[{"type":"CVSS_V3","score":"CVSS:3.1/AV:N/AC:L/PR:N/UI:N/S:U/C:N/I:N/A:H"}]}