Btor2tools Project Btor2tools vulnerabilities

• btor2tools project btor2tools In btor2parser/btor2parser.c in Boolector Btor2Tools before 2019-01-15, opening a specially... CVE-2019-7559 5.5 MediumFebruary 7, 2019