Boolector use after free
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.
Affected software
Click a technology to see all vulnerabilities affecting it.
| Platform | Package | Vulnerable versions | Fixed in |
|---|---|---|---|
| Python (PyPI) | pyboolector | < 3.1.0 | 3.1.0 |
References
- CVSS vector
CVSS:3.0/AV:L/AC:L/PR:N/UI:R/S:U/C:N/I:N/A:H- Weakness (CWE)
CWE-416- Platform
- Python (PyPI)
- Package
pyboolector- Disclosed
- 07.02.2019
- Updated
- 11.10.2026 12:18
Sources and licenses
OSV / GitHub Advisory Database - PYSEC-2019-252 - PyPA Advisory Database; CC BY 4.0
OSV / GitHub Advisory Database - GHSA-g58x-799h-v9h6 - CC BY 4.0
Vulnerability history: pyboolector
All published vulnerabilities of this package (Python (PyPI)), newest first. Shows whether this is a one-off slip or a package that needs watching.
This is the only known vulnerability of this package.
Know which vulnerabilities affect your application
With the DockRay integration and software inventory enabled, DockRay checks reported component versions against known vulnerabilities and notifies you about confirmed matches. Coverage depends on the supported technology and available advisory data.