Loading vulnerability details…
CVSS v3.1
N/A
EPSS
0.84%
Published
Feb 7, 2019
Modified
Nov 21, 2024
Public PoC / Exploit
All weaponized →No public PoC or exploit code indexed for this CVE.
Links to public security research (Exploit-DB, Nuclei, Trickest, GitHub) for defensive use only.
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.
Weaknesses (CWE)
Affected Products (1)
References (2)