CVE-2019-7560: Boolector Project Boolector

Medium severity, CVSS 5.5. EPSS: 1% chance of exploitation in the next 30 days.

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.

Affected products

• Boolector Project Boolector: version 3.0.0 only

Published 2019-02-07. Last modified 2026-06-17.