Back to Database
Status published
Medium
CVE-2019-7559
In btor2parser/btor2parser.c in Boolector Btor2Tools before 2019-01-15, opening a specially...
Vulnerability 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.
Impact Analysis
Refer to official advisory for detailed impact metrics.
Remediation
Ensure systems are updated to the latest vendor-supplied patch levels.
THREAT MONITOR
Am I Vulnerable?
Launch our assessment wizard to check if your infrastructure is exposed to • CVE-2019-7559
Credits & Attribution
No credits recorded in the NVD database.
Affected Vendor
btor2tools project
View all reports →Affected Software
btor2tools
Vulnerable Versions:
0
Timeline
Official Publish:
February 7th, 2019
Last Modified:
August 4th, 2024
Added to House:
July 20th, 2026
CVSS Vectors
V3:
CVSS:3.0/AV:L/AC:L/PR:N/UI:R/S:U/C:N/I:N/A:H
Weaknesses (CWE)
No CWE data available
MITRE ATT&CK TTPs
No associated TTPs found for this vulnerability.