Boolector use after free

MEDIUM 5.5CVE-2019-7560 · GHSA-g58x-799h-v9h6 · PYSEC-2019-252 · Published 07/02/2019 · updated 17/06/2026

In short

CVE-2019-7560 is a MEDIUM (CVSS 5.5) vulnerability affecting pyboolector, boolector (boolector project).
Chance of exploitation in the next 30 days (EPSS): 0.96%, higher than 61.7% of all vulnerabilities.
Fix: update to 3.1.0 or later.

Package	Affected versions	Patched versions
pyboolector PyPI	`< 3.1.0`	`3.1.0`
boolector boolector_project	`= 3.0.0`	No fix yet

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.

NVD 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.

Running one of these products? Scan your site to see whether it exposes a vulnerable version.