{"id":"GHSA-g58x-799h-v9h6","summary":"Boolector use after free","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":["CVE-2019-7560","PYSEC-2019-252"],"modified":"2024-11-26T18:25:07.717846Z","published":"2022-05-14T01:36:13Z","database_specific":{"github_reviewed_at":"2024-11-22T20:25:10Z","nvd_published_at":"2019-02-07T07:29:00Z","cwe_ids":["CWE-416"],"severity":"HIGH","github_reviewed":true},"references":[{"type":"ADVISORY","url":"https://nvd.nist.gov/vuln/detail/CVE-2019-7560"},{"type":"WEB","url":"https://github.com/Boolector/boolector/issues/28"},{"type":"WEB","url":"https://github.com/Boolector/boolector/issues/29"},{"type":"PACKAGE","url":"https://github.com/boolector/boolector"},{"type":"WEB","url":"https://github.com/pypa/advisory-database/tree/main/vulns/pyboolector/PYSEC-2019-252.yaml"}],"affected":[{"package":{"name":"pyboolector","ecosystem":"PyPI","purl":"pkg:pypi/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"],"database_specific":{"source":"https://github.com/github/advisory-database/blob/main/advisories/github-reviewed/2022/05/GHSA-g58x-799h-v9h6/GHSA-g58x-799h-v9h6.json"}}],"schema_version":"1.9.0","severity":[{"type":"CVSS_V3","score":"CVSS:3.0/AV:L/AC:L/PR:N/UI:R/S:U/C:N/I:N/A:H"},{"type":"CVSS_V4","score":"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"}]}