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 pushtbfr...
5.5CVSS5.5AI score0.00837EPSS
SaveExploits1References1
Cvelist•added 2019/02/07 7:0 a.m.•24 views
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 pushtbfr...
