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.
References (2)
Core 2
Core References
Exploit, Patch, Third Party Advisory x_refsource_misc
https://github.com/Boolector/boolector/issues/29
Exploit, Patch, Third Party Advisory x_refsource_misc
https://github.com/Boolector/boolector/issues/28
Scores
CVSS v3
5.5
EPSS
0.0096
EPSS Percentile
57.2%
Attack Vector
LOCAL
CVSS:3.0/AV:L/AC:L/PR:N/UI:R/S:U/C:N/I:N/A:H
Details
CWE
CWE-416
Status
published
Products (2)
boolector_project/boolector
3.0.0
pypi/pyboolector
0 - 3.1.0PyPI
Published
Feb 07, 2019
Tracked Since
Feb 18, 2026