{"id":"CVE-2019-7560","details":"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.","aliases":["GHSA-g58x-799h-v9h6","PYSEC-2019-252"],"modified":"2026-07-08T16:28:15.368487Z","published":"2019-02-07T07:29:00.487Z","references":[{"type":"FIX","url":"https://github.com/Boolector/boolector/issues/28"},{"type":"FIX","url":"https://github.com/Boolector/boolector/issues/29"}],"affected":[{"ranges":[{"type":"GIT","repo":"https://github.com/boolector/boolector","events":[{"introduced":"698cd9d69f757997f0e44668dc8091efeec498bf"},{"last_affected":"698cd9d69f757997f0e44668dc8091efeec498bf"}],"database_specific":{"source":"CPE_STRING","cpe":"cpe:2.3:a:boolector_project:boolector:3.0.0:*:*:*:*:*:*:*","extracted_events":[{"introduced":"3.0.0"},{"last_affected":"3.0.0"}]}}],"versions":["3.0.0"],"database_specific":{"source":"https://storage.googleapis.com/cve-osv-conversion/osv-output/CVE-2019-7560.json"}}],"schema_version":"1.7.5","severity":[{"type":"CVSS_V3","score":"CVSS:3.0/AV:L/AC:L/PR:N/UI:R/S:U/C:N/I:N/A:H"}]}