Vulnerability Details CVE-2019-7559
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.
Exploit prediction scoring system (EPSS) score
EPSS Score 0.002
EPSS Ranking 38.2%
CVSS Severity
CVSS v3 Score 5.5
CVSS v2 Score 4.3
References
Products affected by CVE-2019-7559
-
cpe:2.3:a:btor2tools_project:btor2tools:2018-05-16
-
cpe:2.3:a:btor2tools_project:btor2tools:2018-05-18
-
cpe:2.3:a:btor2tools_project:btor2tools:2018-05-24
-
cpe:2.3:a:btor2tools_project:btor2tools:2018-07-24
-
cpe:2.3:a:btor2tools_project:btor2tools:2018-07-25
-
cpe:2.3:a:btor2tools_project:btor2tools:2018-07-28
-
cpe:2.3:a:btor2tools_project:btor2tools:2019-01-15