CVE-2019-7560: Boolector use after free

May 14, 2022 (updated November 22, 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

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. Learn more about Dependency Scanning →