Security Advisory

CVE-2019-7560

CVE vulnerability detail - eXtreme Datacenter Security Operations

Published 2019-02-07 07:00:00

Last updated 2024-08-04 20:54:28

Assigner mitre

CVSS score not scored

State PUBLISHED

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.