CVE-2019-7560: Boolector use after free

May 14, 2022 (updated November 26, 2024)

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.

References

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

Code Behaviors & Features

Detect and mitigate CVE-2019-7560 with GitLab Dependency Scanning

Secure your software supply chain by verifying that all open source dependencies used in your projects contain no disclosed vulnerabilities. Dependency Scanning using SBOM also detects vulnerabilities from proprietary advisories that this site does not include. Learn more about Dependency Scanning using SBOM →