Boolector Project maintains a satisfiability modulo theories (SMT) solver, a specialized research and verification tool with a narrow deployment footprint centered on formal-methods and symbolic-execution workflows. The durable signal in its disclosures is rooted in memory-safety issues, particularly use-after-free conditions that arise in the solver's core data structures. Current severity, exploitation activity, and exposure counts are shown alongside this summary.
The number and severity of CVEs published that impact products developed by Boolector 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-7560MEDIUM 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. | 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 Boolector Project.
Media articles that mention a CVE ID that affects a product developed by Boolector Project — matched by CVE ID, not by vendor name.