{"id":"CVE-2024-37794","aliases":["DEBIAN-CVE-2024-37794","EUVD-2024-36828","GHSA-frw3-949h-qqfj","UBUNTU-CVE-2024-37794"],"status":"published","title":"Improper input validation in CVC5 Solver v1.1.3 allows attackers to cause a Denial of Service ...","description":"Improper input validation in CVC5 Solver v1.1.3 allows attackers to cause a Denial of Service (DoS) via a crafted SMT2 input file.","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-12","score":0.00467,"percentile":0.40949,"model":"v2026.06.15"},"facts":{"in_kev":false,"known_exploited":false,"public_exploit":false,"fix_available":false},"cwes":["CWE-20"],"published":"2024-06-17T00:00:00Z","modified":"2026-11-02T12:02:36Z","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-37794"},{"url":"https://github.com/advisories/GHSA-frw3-949h-qqfj"},{"url":"https://security-tracker.debian.org/tracker/CVE-2024-37794","tags":["advisory"]},{"url":"https://ubuntu.com/security/CVE-2024-37794","tags":["report"]},{"url":"https://www.cve.org/CVERecord?id=CVE-2024-37794","tags":["report"]}],"sources":{"cve":[{"id":"CVE-2024-37794","description":"Improper input validation in CVC5 Solver v1.1.3 allows attackers to cause a Denial of Service (DoS) via a crafted SMT2 input file.","status":"published","published":"2024-06-17T00:00:00Z","modified":"2024-08-02T03:57:39.727Z","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-20"],"updated_at":"2026-11-02T14:34:00.929382Z"}],"euvd":[{"id":"EUVD-2024-36828","description":"Improper input validation in CVC5 Solver v1.1.3 allows attackers to cause a Denial of Service (DoS) via a crafted SMT2 input file.","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-frw3-949h-qqfj","title":"Improper input validation in CVC5 Solver v1.1.3 allows attackers to cause a Denial of Service ...","description":"Improper input validation in CVC5 Solver v1.1.3 allows attackers to cause a Denial of Service (DoS) via a crafted SMT2 input file.","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-20"],"updated_at":"2026-11-02T14:57:37.660934Z"}],"nvd":[{"id":"CVE-2024-37794","description":"Improper input validation in CVC5 Solver v1.1.3 allows attackers to cause a Denial of Service (DoS) via a crafted SMT2 input file.","status":"published","published":"2024-06-17T18:15:17.853Z","modified":"2026-06-17T07:38:51.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","assessor":"secondary"}],"cwes":["CWE-20"],"updated_at":"2026-11-02T14:10:05.620461Z"}],"osv":[{"id":"CVE-2024-37794","description":"Improper input validation in CVC5 Solver v1.1.3 allows attackers to cause a Denial of Service (DoS) via a crafted SMT2 input file.","status":"published","published":"2024-06-17T18:15:17.853Z","modified":"2026-03-14T12:34:26.800076Z","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-37794","description":"Improper input validation in CVC5 Solver v1.1.3 allows attackers to cause a Denial of Service (DoS) via a crafted SMT2 input file.","status":"published","published":"2024-06-17T18:15:17.853Z","modified":"2026-11-02T12:02:36.102236232Z","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-37794","description":"Improper input validation in CVC5 Solver v1.1.3 allows attackers to cause a Denial of Service (DoS) via a crafted SMT2 input file.","status":"published","published":"2024-06-17T18:15:00Z","modified":"2026-10-17T12:56:37.95873528Z","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"}]}}