{"cve":"CVE-2019-7560","nvd":{"published":"2019-02-07T07:29:00.487","modified":"2026-06-17T02:40:41.883","status":"Modified","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.","cvss_v4":null,"cvss_v3":{"version":"3.0","vector":"CVSS:3.0/AV:L/AC:L/PR:N/UI:R/S:U/C:N/I:N/A:H","score":5.5},"cwes":["CWE-416"],"references":["https://github.com/Boolector/boolector/issues/28","https://github.com/Boolector/boolector/issues/29","https://github.com/Boolector/boolector/issues/28","https://github.com/Boolector/boolector/issues/29"],"products":["boolector_project:boolector"],"source":"nvd","synced_at":"2026-10-19T20:54:46.948512734+00:00"},"epss":{"cve":"CVE-2019-7560","score":0.00959,"percentile":0.61508,"date":"2026-10-31"},"kev":null,"osv":[{"id":"GHSA-g58x-799h-v9h6","url":"https://osv.dev/vulnerability/GHSA-g58x-799h-v9h6","summary":"Boolector use after free","modified":"2024-11-26T18:25:54.996070Z","packages":[{"ecosystem":"PyPI","name":"pyboolector","purl":"pkg:pypi/pyboolector","ranges":["<3.1.0"],"fixed":["3.1.0"]}]},{"id":"PYSEC-2019-252","url":"https://osv.dev/vulnerability/PYSEC-2019-252","summary":"","modified":"2024-11-25T22:42:14.884068Z","packages":[{"ecosystem":"PyPI","name":"pyboolector","purl":"pkg:pypi/pyboolector","ranges":["<3.1.0"],"fixed":["3.1.0"]}]}],"attribution":["This product uses the NVD API but is not endorsed or certified by the NVD.","EPSS scores: FIRST Exploit Prediction Scoring System, https://www.first.org/epss","Known exploited vulnerabilities: CISA Known Exploited Vulnerabilities Catalog, https://www.cisa.gov/known-exploited-vulnerabilities-catalog","Package advisories: OSV (https://osv.dev), from the GitHub Advisory Database, PyPA, Go, RustSec and other ecosystem databases, under CC-BY 4.0 or CC0","CVE records: the CVE Program's CVE List (https://www.cve.org), under its terms of use (https://www.cve.org/Legal/TermsOfUse). CVE is a registered trademark of The MITRE Corporation; this product is not affiliated with the CVE Program."]}