EUVD-2019-17098

Malware in sbrugna...

Type confusion

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...

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...

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...

CVE-2019-7559

The CVE-2019-7559 entry concerns Boolector Btor2Tools (btor2parser.c). The vulnerability arises when opening a specially crafted input file, causing an out-of-bounds write in pusht_bfr. Connected sources confirm the affected component and the root cause (out-of-bounds write in pusht_bfr within Bo...

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...