CVE-2019-7560
Medium
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.
SeverityMedium
CVSS5.5
Exploit probability—
ProductBoolector
PublishedFeb 7, 2019
First seenFeb 7, 2019
How to fix
Update
- pyboolector3.1.0 or later
Affected products
| Product | Affected versions | Fixed in |
|---|---|---|
| boolector_project boolector | 3.0.0 | — |
| pyboolectorPyPI | v < 3.1.0 | 3.1.0 |
Check your version
Choose the product and enter the version you run to see whether it falls in the affected range.
In the Intelligence 360 plan
Attack Surface Management
See the assets tied to your domains, the technologies they run and known vulnerabilities in one list.