Btor2tools is a niche, specialized project focused on model checking and formal verification of hardware and software, with vulnerabilities observed in its core btor2tools utility. The exposure centers on memory-safety issues such as out-of-bounds writes, reflecting the parser and data-structure complexity inherent to symbolic execution tooling; current severity, exploitation, and exposure details are shown alongside this summary.
The number and severity of CVEs published that impact products developed by Btor2tools Project over time
Signals from CVEs in this vendor scope (1 CVEs).
1 CVEs · Highest risk first
| CVE | Published | CVSS | Risk | KEV | Exploit |
|---|---|---|---|---|---|
CVE-2019-7559MEDIUM 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. | Feb 7, 2019 | 5.5 | 16 | NO | NO |
Signals from CVEs in this vendor scope (1 CVEs).
An overview of all social media posts that mention a CVE ID that affects a product developed by Btor2tools Project.
Media articles that mention a CVE ID that affects a product developed by Btor2tools Project — matched by CVE ID, not by vendor name.