CVE-2019-7560

5.5 mediumEPSS 1.0%

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.

Severity

5.5 medium

CVSS:3.0/AV:L/AC:L/PR:N/UI:R/S:U/C:N/I:N/A:H

EPSS: 1.0% chance of exploitation in the next 30 days; higher than 61% of CVEs (scores of 2026-10-31)
CWE: CWE-416
Published: 2019-02-07
Modified: 2026-06-17
Record from: the NVD, synced 2026-10-19

Advisory	Ecosystem	Package	Affected	Fixed in
GHSA-g58x-799h-v9h6	PyPI	pyboolector	<3.1.0	3.1.0
PYSEC-2019-252	PyPI	pyboolector	<3.1.0	3.1.0