CVE-2019-7559

2019-02-07T07:29:00
ID CVE-2019-7559
Type cve
Reporter cve@mitre.org
Modified 2019-02-08T18:39:00

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.