Boolector use after free

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

En bref

CVE-2019-7560 est une vulnérabilité MOYENNE (CVSS 5.5) touchant pyboolector, boolector (boolector project).
Probabilité d'exploitation dans les 30 prochains jours (EPSS) : 0.96%, plus élevée que 61.7% des vulnérabilités.
Correctif : mettre à jour vers 3.1.0 ou plus récent.

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.