{"id":"CVE-2019-7560","aliases":["EUVD-2019-0164","GHSA-g58x-799h-v9h6","PYSEC-2019-252"],"status":"published","title":"Boolector use after free","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.","severity":{"version":"3.0","score":5.5,"vector":"CVSS:3.0/AV:L/AC:L/PR:N/UI:R/S:U/C:N/I:N/A:H","level":"medium","assessor":"primary","from":"nvd"},"epss":{"day":"2026-11-10","score":0.00959,"percentile":0.61776,"model":"v2026.06.15"},"facts":{"in_kev":false,"known_exploited":false,"public_exploit":false,"fix_available":true},"cwes":["CWE-416"],"published":"2019-02-07T07:00:00Z","modified":"2026-10-20T10:47:41Z","fixes":[{"ecosystem":"PyPI","package":"pyboolector","fixed_in":["3.1.0"],"sources":["ghsa","osv"]}],"affected":[{"source":"ghsa","ecosystem":"PyPI","package":"pyboolector","ranges":[{"type":"ECOSYSTEM","events":[{"introduced":"0"},{"fixed":"3.1.0"}]}]},{"source":"osv","ecosystem":"PyPI","package":"pyboolector","ranges":[{"type":"ECOSYSTEM","events":[{"introduced":"0"},{"fixed":"3.1.0"}]}],"versions":["3.0.0.1","3.0.0.20191102.28","3.0.0.20191119.1","3.0.0.20191119.2"]},{"source":"osv","ecosystem":"PyPI","package":"pyboolector","ranges":[{"type":"ECOSYSTEM","events":[{"introduced":"0"},{"fixed":"3.1.0"}]}],"versions":["3.0.0.1","3.0.0.20191102.28","3.0.0.20191119.1","3.0.0.20191119.2"]}],"products":[{"vendor":"boolector_project","product":"boolector"}],"references":[{"url":"https://github.com/Boolector/boolector/issues/29","tags":["x_refsource_MISC","x_transferred","Exploit","Patch","Third Party Advisory","fix","web","report"]},{"url":"https://github.com/Boolector/boolector/issues/28","tags":["x_refsource_MISC","x_transferred","Exploit","Patch","Third Party Advisory","fix","web","report"]},{"url":"https://nvd.nist.gov/vuln/detail/CVE-2019-7560","tags":["advisory"]},{"url":"https://github.com/pypa/advisory-database/tree/main/vulns/pyboolector/PYSEC-2019-252.yaml","tags":["web"]},{"url":"https://github.com/advisories/GHSA-g58x-799h-v9h6"},{"url":"https://github.com/boolector/boolector","tags":["package"]}],"sources":{"cve":[{"id":"CVE-2019-7560","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.","status":"published","published":"2019-02-07T07:00:00Z","modified":"2024-08-04T20:54:28.296Z","updated_at":"2026-11-02T14:32:22.854093Z"}],"euvd":[{"id":"EUVD-2019-0164","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.","status":"published","published":"2019-02-07T07:00:00Z","modified":"2024-08-04T20:54:28Z","updated_at":"2026-11-03T03:06:45.961014Z"}],"ghsa":[{"id":"GHSA-g58x-799h-v9h6","title":"Boolector use after free","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.","status":"published","published":"2022-05-14T01:36:13Z","modified":"2024-11-26T18:15:06Z","cvss":[{"version":"4.0","score":7.1,"vector":"CVSS:4.0/AV:N/AC:L/AT:N/PR:N/UI:P/VC:N/VI:N/VA:H/SC:N/SI:N/SA:N","level":"high"},{"version":"3.0","score":5.5,"vector":"CVSS:3.0/AV:L/AC:L/PR:N/UI:R/S:U/C:N/I:N/A:H","level":"medium"}],"cwes":["CWE-416"],"updated_at":"2026-11-02T14:38:23.575854Z"}],"nvd":[{"id":"CVE-2019-7560","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.","status":"published","published":"2019-02-07T07:29:00.487Z","modified":"2026-06-17T02:40:41.883Z","cvss":[{"version":"3.0","score":5.5,"vector":"CVSS:3.0/AV:L/AC:L/PR:N/UI:R/S:U/C:N/I:N/A:H","level":"medium","assessor":"primary"},{"version":"2.0","score":4.3,"vector":"AV:N/AC:M/Au:N/C:N/I:N/A:P","level":"medium","assessor":"primary"}],"cwes":["CWE-416"],"updated_at":"2026-11-02T14:05:04.689371Z"}],"osv":[{"id":"CVE-2019-7560","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.","status":"published","published":"2019-02-07T07:29:00.487Z","modified":"2026-10-20T10:47:41.085290983Z","cvss":[{"version":"3.0","score":5.5,"vector":"CVSS:3.0/AV:L/AC:L/PR:N/UI:R/S:U/C:N/I:N/A:H","level":"medium"}],"updated_at":"2026-11-02T15:44:12.675558Z"},{"id":"GHSA-g58x-799h-v9h6","title":"Boolector use after free","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.","status":"published","published":"2022-05-14T01:36:13Z","modified":"2024-11-26T18:25:54.99607Z","cvss":[{"version":"3.0","score":5.5,"vector":"CVSS:3.0/AV:L/AC:L/PR:N/UI:R/S:U/C:N/I:N/A:H","level":"medium"},{"version":"4.0","score":7.1,"vector":"CVSS:4.0/AV:N/AC:L/AT:N/PR:N/UI:P/VC:N/VI:N/VA:H/SC:N/SI:N/SA:N","level":"high"}],"cwes":["CWE-416"],"updated_at":"2026-11-02T15:46:47.472172Z"},{"id":"PYSEC-2019-252","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.","status":"published","published":"2019-02-07T07:29:00Z","modified":"2024-11-25T22:42:14.884068Z","cvss":[{"version":"3.0","score":5.5,"vector":"CVSS:3.0/AV:L/AC:L/PR:N/UI:R/S:U/C:N/I:N/A:H","level":"medium"}],"updated_at":"2026-11-02T15:52:52.192131Z"}]}}