{"id":"CVE-2024-37795","aliases":["DEBIAN-CVE-2024-37795","EUVD-2024-36829","GHSA-hvrf-34fw-qpr2","UBUNTU-CVE-2024-37795"],"status":"published","title":"A segmentation fault in CVC5 Solver v1.1.3 allows attackers to cause a Denial of Service (DoS)...","description":"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.","severity":{"version":"3.1","score":7.5,"vector":"CVSS:3.1/AV:N/AC:L/PR:N/UI:N/S:U/C:N/I:N/A:H","level":"high","assessor":"adp","from":"cve"},"epss":{"day":"2026-11-08","score":0.00467,"percentile":0.40717,"model":"v2026.06.15"},"facts":{"in_kev":false,"known_exploited":false,"public_exploit":false,"fix_available":false},"cwes":["CWE-125"],"published":"2024-06-17T00:00:00Z","modified":"2026-11-02T12:02:41Z","affected":[{"source":"osv","ecosystem":"Debian:12","package":"cvc5","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"]},{"source":"osv","ecosystem":"Debian:13","package":"cvc5","ranges":[{"type":"ECOSYSTEM","events":[{"introduced":"0"}]}],"versions":["1.1.2-2","1.1.2-3","1.3.2-1"]},{"source":"osv","ecosystem":"Ubuntu:24.04:LTS","package":"cvc5","ranges":[{"type":"ECOSYSTEM","events":[{"introduced":"0"}]}],"versions":["1.0.5-3","1.1.1-1","1.1.2-1","1.1.2-1build1"]},{"source":"osv","ecosystem":"Ubuntu:25.10","package":"cvc5","ranges":[{"type":"ECOSYSTEM","events":[{"introduced":"0"}]}],"versions":["1.1.2-2build1"]},{"source":"osv","ecosystem":"Ubuntu:26.10","package":"cvc5","ranges":[{"type":"ECOSYSTEM","events":[{"introduced":"0"}]}],"versions":["1.3.2-1build1"]},{"source":"osv","ecosystem":"Ubuntu:26.04:LTS","package":"cvc5","ranges":[{"type":"ECOSYSTEM","events":[{"introduced":"0"}]}],"versions":["1.1.2-2build1","1.1.2-3","1.3.2-1","1.3.2-1build1"]}],"products":[{"vendor":"cvc5","product":"cvc5"}],"references":[{"url":"https://github.com/cvc5/cvc5/issues/10813","tags":["x_transferred","report"]},{"url":"https://nvd.nist.gov/vuln/detail/CVE-2024-37795"},{"url":"https://github.com/advisories/GHSA-hvrf-34fw-qpr2"},{"url":"https://security-tracker.debian.org/tracker/CVE-2024-37795","tags":["advisory"]},{"url":"https://ubuntu.com/security/CVE-2024-37795","tags":["report"]},{"url":"https://www.cve.org/CVERecord?id=CVE-2024-37795","tags":["report"]}],"sources":{"cve":[{"id":"CVE-2024-37795","description":"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.","status":"published","published":"2024-06-17T00:00:00Z","modified":"2024-08-02T03:57:39.827Z","cvss":[{"version":"3.1","score":7.5,"vector":"CVSS:3.1/AV:N/AC:L/PR:N/UI:N/S:U/C:N/I:N/A:H","level":"high","assessor":"adp"}],"cwes":["CWE-125"],"updated_at":"2026-11-02T14:34:00.929382Z"}],"euvd":[{"id":"EUVD-2024-36829","description":"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.","status":"published","published":"2024-06-17T00:00:00Z","modified":"2024-08-02T03:57:39Z","cvss":[{"version":"3.1","score":7.5,"vector":"CVSS:3.1/AV:N/AC:L/PR:N/UI:N/S:U/C:N/I:N/A:H","level":"high"}],"updated_at":"2026-11-03T03:50:18.901913Z"}],"ghsa":[{"id":"GHSA-hvrf-34fw-qpr2","title":"A segmentation fault in CVC5 Solver v1.1.3 allows attackers to cause a Denial of Service (DoS)...","description":"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.","status":"published","published":"2024-06-17T18:31:35Z","modified":"2024-07-03T18:45:42Z","cvss":[{"version":"3.1","score":7.5,"vector":"CVSS:3.1/AV:N/AC:L/PR:N/UI:N/S:U/C:N/I:N/A:H","level":"high"}],"cwes":["CWE-125"],"updated_at":"2026-11-02T14:57:37.660934Z"}],"nvd":[{"id":"CVE-2024-37795","description":"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.","status":"published","published":"2024-06-17T18:15:17.953Z","modified":"2026-06-17T07:38:51.55Z","cvss":[{"version":"3.1","score":7.5,"vector":"CVSS:3.1/AV:N/AC:L/PR:N/UI:N/S:U/C:N/I:N/A:H","level":"high","assessor":"secondary"}],"cwes":["CWE-125"],"updated_at":"2026-11-02T14:10:05.620461Z"}],"osv":[{"id":"CVE-2024-37795","description":"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.","status":"published","published":"2024-06-17T18:15:17.953Z","modified":"2026-03-14T12:44:49.909634Z","cvss":[{"version":"3.1","score":7.5,"vector":"CVSS:3.1/AV:N/AC:L/PR:N/UI:N/S:U/C:N/I:N/A:H","level":"high"}],"updated_at":"2026-11-02T15:44:41.133403Z"},{"id":"DEBIAN-CVE-2024-37795","description":"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.","status":"published","published":"2024-06-17T18:15:17.953Z","modified":"2026-11-02T12:02:41.907877612Z","cvss":[{"version":"3.1","score":7.5,"vector":"CVSS:3.1/AV:N/AC:L/PR:N/UI:N/S:U/C:N/I:N/A:H","level":"high"}],"updated_at":"2026-11-02T15:45:42.835825Z"},{"id":"UBUNTU-CVE-2024-37795","description":"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.","status":"published","published":"2024-06-17T18:15:00Z","modified":"2026-10-17T12:56:37.548867414Z","cvss":[{"version":"3.1","score":7.5,"vector":"CVSS:3.1/AV:N/AC:L/PR:N/UI:N/S:U/C:N/I:N/A:H","level":"high"}],"updated_at":"2026-11-02T16:54:54.69008Z"}]}}