{"id":"CVE-2019-7560","url":"https://www.cyber-defence.io/tools/cve/CVE-2019-7560","generatedAt":"2026-10-27T21:18:11.445Z","title":"In parser/btorsmt2.c in Boolector 3.0.0, opening a specially crafted input file leads to a use after free in get_failed_assumptions or btor_delete.","description":"In parser/btorsmt2.c in Boolector 3.0.0, opening a specially crafted input file leads to a use after free in get_failed_assumptions or btor_delete.","published":"2019-02-07T07:29:00.000Z","lastModified":"2026-06-17T02:40:42.000Z","status":"Modified","sourceIdentifier":"cve@mitre.org","cvss":{"version":"3.0","score":5.5,"severity":"MEDIUM","vector":"CVSS:3.0/AV:L/AC:L/PR:N/UI:R/S:U/C:N/I:N/A:H"},"cwe":["CWE-416"],"affected":["boolector project/boolector"],"epss":{"score":0.00959,"percentile":0.61251,"date":"2026-10-26","history":[]},"kev":{"listed":false},"exploits":{"count":0,"verified":false,"firstPublished":null,"source":"Exploit-DB (https://gitlab.com/exploit-database/exploitdb)","entries":[]},"verdict":{"level":"low","text":"Lower severity and a low EPSS score (0.96%). Track it; it rarely justifies an emergency change on its own."},"changes":[],"references":[{"url":"https://github.com/Boolector/boolector/issues/28","tags":["Exploit","Patch","Third Party Advisory"],"source":"cve@mitre.org"},{"url":"https://github.com/Boolector/boolector/issues/29","tags":["Exploit","Patch","Third Party Advisory"],"source":"cve@mitre.org"},{"url":"https://github.com/Boolector/boolector/issues/28","tags":["Exploit","Patch","Third Party Advisory"],"source":"af854a3a-2127-422b-91ae-364da2661108"},{"url":"https://github.com/Boolector/boolector/issues/29","tags":["Exploit","Patch","Third Party Advisory"],"source":"af854a3a-2127-422b-91ae-364da2661108"}],"sources":{"nvd":"https://nvd.nist.gov/vuln/detail/CVE-2019-7560","epss":"https://www.first.org/epss/","kev":"https://www.cisa.gov/known-exploited-vulnerabilities-catalog","exploitdb":"https://www.exploit-db.com/"},"licence":"CC BY 4.0 — link back to the CVE Explorer if you publish the results; upstream data remains subject to its own terms."}