Boolector/boolector

Releases8

Frequency10 months 2 weeks

Last Release almost 2 years ago

Stars360

A Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, arrays and uninterpreted functions.

CVE History

CVE	Published	CVSS v3	CVSS v2
CVE-2019-7559 ↗	Feb 7, 2019Thursday, 7 February 2019, 07:29	—	4.3 MEDIUM
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.
CVE-2019-7560 ↗	Feb 7, 2019Thursday, 7 February 2019, 07:29	—	4.3 MEDIUM
In parser/btorsmt2.c in Boolector 3.0.0, opening a specially crafted input file leads to a use after free in get_failed_assumptions or btor_delete.