Btor2tools Project: >> Btor2tools >> 2018-05-18 Security Vulnerabilities
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.
CVSS Score
5.5
EPSS Score
0.002
Published
2019-02-07