← All advisories

Medium severity5.5OSV Advisory· Published Feb 7, 2019· Updated Jun 17, 2026

CVE-2019-7560

CVE-2019-7560

Description

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.

AI Insight

LLM-synthesized narrative grounded in this CVE's description and references.

Affected packages

Versions sourced from the GitHub Security Advisory.

Package	Affected versions	Patched versions
pyboolectorPyPI	< 3.1.0	3.1.0

Affected products

2

Boolector/BoolectorOSV
Range: 3.0.0, smtcomp-2018
ghsa-coords
pkg:pypi/pyboolector
Range: < 3.1.0

Patches

Vulnerability mechanics

References

5

github.com/Boolector/boolector/issues/28nvdExploitPatchThird Party AdvisoryWEB
github.com/Boolector/boolector/issues/29nvdExploitPatchThird Party AdvisoryWEB
github.com/advisories/GHSA-g58x-799h-v9h6ghsaADVISORY
nvd.nist.gov/vuln/detail/CVE-2019-7560ghsaADVISORY
github.com/pypa/advisory-database/tree/main/vulns/pyboolector/PYSEC-2019-252.yamlghsaWEB

News mentions

0

No linked articles in our index yet.