CVE-2019-7559
N/A
Published: February 7, 2019 at 07:00 AM UTC
Updated: June 17, 2026 at 02:40 AM UTC
1 product affected across 1 vendorBTOR2TOOLS
Using N/A by N/A?
Get instant alerts when new vulnerabilities affect N/A - before attackers find them.
Real-time alertsTrack your software stackFree plan available
Severity
N/A
Exploit prediction
EPSS 0.8%
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.
Affected
Our own answer: ranges merged, affected separated from platform-only, with confidence and review flags.
v ≤ 2019-01-15
Remediation
No guide yetNo remediation guidance has been written for this CVE yet. What the record does show:
Patch and advisory references
References (1)
x_refsource_MISCExploitPatchThird Party Advisory
Source: [email protected]
https://github.com/Boolector/boolector/issues/30Quick Info
StatusMODIFIED
CWE
CWE-787
Get alerted
Stop reading CVE feeds looking for your own stack
Track the products you run and VulnTracker tells you when a new CVE affects them — with what is known about fixing it, and nothing about the rest.
Free plan, no card