High severityOSV Advisory· Published Feb 7, 2019· Updated Aug 4, 2024
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.
Affected packages
Versions sourced from the GitHub Security Advisory.
| Package | Affected versions | Patched versions |
|---|---|---|
pyboolectorPyPI | < 3.1.0 | 3.1.0 |
Affected products
1Patches
0No patches discovered yet.
Vulnerability mechanics
AI mechanics synthesis has not run for this CVE yet.
References
5- github.com/advisories/GHSA-g58x-799h-v9h6ghsaADVISORY
- nvd.nist.gov/vuln/detail/CVE-2019-7560ghsaADVISORY
- github.com/Boolector/boolector/issues/28ghsax_refsource_MISCWEB
- github.com/Boolector/boolector/issues/29ghsax_refsource_MISCWEB
- github.com/pypa/advisory-database/tree/main/vulns/pyboolector/PYSEC-2019-252.yamlghsaWEB
News mentions
0No linked articles in our index yet.