{"action":"No fix published. Pin and monitor.","affected":[{"introduced":"0"}],"component":"cvc5","cve_ids":[],"ecosystem":"Debian","ecosystem_qualifier":"Debian:13","exploited":false,"fixed_versions":[],"id":"tcs_01M5NKNNX5EDXAW11JDAPK1ZTT","modified_at":"2026-09-15T09:03:18.835502384Z","published_at":"2024-06-17T18:15:17.953Z","references":["https://osv.dev/vulnerability/DEBIAN-CVE-2024-37795","https://security-tracker.debian.org/tracker/CVE-2024-37795"],"severity":{"label":"high","score":7.5},"sources":[{"source":"osv","source_id":"DEBIAN-CVE-2024-37795#Debian:13/cvc5","url":"https://osv.dev/vulnerability/DEBIAN-CVE-2024-37795"}],"summary":"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."}