{"id":"DEBIAN-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-09-15T09:03:18.835502384Z","published":"2024-06-17T18:15:17.953Z","upstream":["CVE-2024-37795"],"references":[{"type":"ADVISORY","url":"https://security-tracker.debian.org/tracker/CVE-2024-37795"}],"affected":[{"package":{"name":"cvc5","ecosystem":"Debian:12","purl":"pkg:deb/debian/cvc5?arch=source&distro=bookworm"},"ranges":[{"type":"ECOSYSTEM","events":[{"introduced":"0"}]}],"versions":["1.0.3-1","1.0.5-1","1.0.5-2","1.0.5-3","1.0.8-1","1.1.1-1","1.1.2-1","1.1.2-2","1.1.2-3","1.3.2-1"],"ecosystem_specific":{"urgency":"unimportant"},"database_specific":{"source":"https://storage.googleapis.com/debian-osv/debian-cve-osv/DEBIAN-CVE-2024-37795.json"}},{"package":{"name":"cvc5","ecosystem":"Debian:13","purl":"pkg:deb/debian/cvc5?arch=source&distro=trixie"},"ranges":[{"type":"ECOSYSTEM","events":[{"introduced":"0"}]}],"versions":["1.1.2-2","1.1.2-3","1.3.2-1"],"ecosystem_specific":{"urgency":"unimportant"},"database_specific":{"source":"https://storage.googleapis.com/debian-osv/debian-cve-osv/DEBIAN-CVE-2024-37795.json"}}],"schema_version":"1.9.0","severity":[{"type":"CVSS_V3","score":"CVSS:3.1/AV:N/AC:L/PR:N/UI:N/S:U/C:N/I:N/A:H"}]}