CVE-2019-7560

In parser/btorsmt2.c in Boolector 3.0.0, opening a specially crafted input file leads to a use after free in getfailedassumptions or btordelete...

CVE-2019-7560

CVE-2019-7560 affects Boolector 3.0.0. The issue resides in the parser (parser/btorsmt2.c): opening a specially crafted input file leads to a use-after-free in get_failed_assumptions or in btor_delete. The connected documents reiterate the same description across multiple sources (GHSA, OSV, NVD,...