Btor2tools Project Btor2tools — known CVE vulnerabilities

Every CVE whose affected-product data names Btor2tools Project Btor2tools, ordered by CVSS severity, with EPSS exploit prediction and CISA KEV status.

CVEs (1)

• CVE-2019-7559 — CVSS 5.5 (medium): In btor2parser/btor2parser.c in Boolector Btor2Tools before 2019-01-15, opening a specially crafted input file leads to an out of bounds…