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.
References (1)
Core 1
Core References
Exploit, Patch, Third Party Advisory x_refsource_misc
https://github.com/Boolector/boolector/issues/30
Scores
CVSS v3
5.5
EPSS
0.0084
EPSS Percentile
53.5%
Attack Vector
LOCAL
CVSS:3.0/AV:L/AC:L/PR:N/UI:R/S:U/C:N/I:N/A:H
Details
CWE
CWE-787
Status
published
Products (1)
btor2tools_project/btor2tools
< 2019-01-15
Published
Feb 07, 2019
Tracked Since
Feb 18, 2026