{"id":"UBUNTU-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-05-20T16:17:34.405332923Z","published":"2024-06-17T18:15:00Z","upstream":["CVE-2024-37795"],"references":[{"type":"REPORT","url":"https://ubuntu.com/security/CVE-2024-37795"},{"type":"REPORT","url":"https://www.cve.org/CVERecord?id=CVE-2024-37795"}],"affected":[{"package":{"name":"cvc5","ecosystem":"Ubuntu:24.04:LTS","purl":"pkg:deb/ubuntu/cvc5?arch=source&distro=noble"},"ranges":[{"type":"ECOSYSTEM","events":[{"introduced":"0"}]}],"versions":["1.0.5-3","1.1.1-1","1.1.2-1","1.1.2-1build1"],"ecosystem_specific":{"binaries":[{"binary_version":"1.1.2-1build1","binary_name":"cvc5"},{"binary_version":"1.1.2-1build1","binary_name":"libcvc5-1"},{"binary_version":"1.1.2-1build1","binary_name":"libcvc5parser1"},{"binary_version":"1.1.2-1build1","binary_name":"python3-cvc5"}],"priority_reason":"CLI crash only."},"database_specific":{"source":"https://github.com/canonical/ubuntu-security-notices/blob/main/osv/cve/2024/UBUNTU-CVE-2024-37795.json"}},{"package":{"name":"cvc5","ecosystem":"Ubuntu:25.10","purl":"pkg:deb/ubuntu/cvc5?arch=source&distro=questing"},"ranges":[{"type":"ECOSYSTEM","events":[{"introduced":"0"}]}],"versions":["1.1.2-2build1"],"ecosystem_specific":{"binaries":[{"binary_version":"1.1.2-2build1","binary_name":"cvc5"},{"binary_version":"1.1.2-2build1","binary_name":"libcvc5-1"},{"binary_version":"1.1.2-2build1","binary_name":"libcvc5parser1"},{"binary_version":"1.1.2-2build1","binary_name":"python3-cvc5"}],"priority_reason":"CLI crash only."},"database_specific":{"source":"https://github.com/canonical/ubuntu-security-notices/blob/main/osv/cve/2024/UBUNTU-CVE-2024-37795.json"}},{"package":{"name":"cvc5","ecosystem":"Ubuntu:26.04:LTS","purl":"pkg:deb/ubuntu/cvc5?arch=source&distro=resolute"},"ranges":[{"type":"ECOSYSTEM","events":[{"introduced":"0"}]}],"versions":["1.1.2-2build1","1.1.2-3","1.3.2-1","1.3.2-1build1"],"ecosystem_specific":{"binaries":[{"binary_version":"1.3.2-1build1","binary_name":"cvc5"},{"binary_version":"1.3.2-1build1","binary_name":"libcvc5-1"},{"binary_version":"1.3.2-1build1","binary_name":"libcvc5parser1"},{"binary_version":"1.3.2-1build1","binary_name":"python3-cvc5"}],"priority_reason":"CLI crash only."},"database_specific":{"source":"https://github.com/canonical/ubuntu-security-notices/blob/main/osv/cve/2024/UBUNTU-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"},{"type":"Ubuntu","score":"low"}]}