In btor2parser/btor2parser.c in Boolector Btor2Tools before 2019-01-15, opening a…
Priority LOW 26CWE-787Published · Updated
Key facts
- Attack vector
- Local
- Privileges required
- None
- User interaction
- Required
- Attack complexity
- Low
- Impact type
- Denial of service
- Confidentiality · integrity · availability
- None · None · High
- Fix status
- No fix listed
Attack profile from CVSS 3.0 · NVD. Fix status from CNA. Impact type from CWE-787 and the CVSS impact.
Summary
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.
Why it matters now
EPSS 0.00837 57th percentileScored 2026-11-07
Public exploit Yes 1 exploit referenceTagged by NVD
Fix No fix listed No fixed version in the sources yet
SSVC decision points
Not available: CISA has not published SSVC decision points for this record.
Affected products
| Vendor | Product | Affected versions | Fixed in | Status | Source |
|---|---|---|---|---|---|
| — | — | all versions | — | No fix listed | CNA |
- — Vendor— Affected all versions Fixed in — No fix listed CNA
CPE configurations NVD · 1
| CPE | Versions | Role | Vendor |
|---|---|---|---|
| cpe:2.3:a:btor2tools_project:btor2tools:*:*:*:*:*:*:*:* | up to 2019-01-15 | Vulnerable | Btor2tools Project |
- cpe:2.3:a:btor2tools_project:btor2tools:*:*:*:*:*:*:*:* Versions up to 2019-01-15 Vulnerable ·Btor2tools Project
Remediation
No fixed version listed by the sources yet.
Timeline
- 2026-10-02 Threatist record created from CVE-2019-7559
- 2026-10-03 Alias added: GHSA-qp2g-vj63-24p5
References
Sources
- CVE-2019-7559 · CVE Program
- CVE-2019-7559 · NVD
- FIRST EPSS
- GHSA-qp2g-vj63-24p5 · GitHub Advisory Database · CC BY 4.0
This product uses the NVD API but is not endorsed or certified by the NVD. Sources and licences