CVE-2019-7559
Medium
Description
In btor2parser/btor2parser.c in Boolector Btor2Tools before 2019-01-15, opening a specially crafted input file leads to an out of bounds write in pusht_bfr.
SeverityMedium
CVSS5.5
Exploit probability—
ProductBtor2tools
PublishedFeb 7, 2019
First seenFeb 7, 2019
How to fix
Sources list no fixed version or patch link for this vulnerability.
Affected products
| Product | Affected versions | Fixed in |
|---|---|---|
| btor2tools_project btor2tools | v ≤ 2019-01-15 | — |
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.