GHSA-g58x-799h-v9h6

    Dashboard / Vulnerabilities / GHSA-g58x-799h-v9h6

    GHSA-g58x-799h-v9h6

    Published: 14 May 2022Last Modified: 26 Nov 2024

    Summary: Boolector use after free

    Details: 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: https://nvd.nist.gov/vuln/detail/CVE-2019-7560, https://github.com/Boolector/boolector/issues/28, https://github.com/Boolector/boolector/issues/29, https://github.com/boolector/boolector, https://github.com/pypa/advisory-database/tree/main/vulns/pyboolector/PYSEC-2019-252.yaml

    Affected packages

    Package

    Name: pyboolector

    Purl: pkg:pypi/pyboolector

    Affected ranges

    Type: ECOSYSTEM

    Events:

    Introduced- 0
    Fixed -3.1.0

    Affected versions

    3.0.0.1
    3.0.0.20191102.28
    3.0.0.20191119.1
    3.0.0.20191119.2

    Common Vulnerability Scoring System

    Attack Vector
    Network
    Adjacent
    Local
    Physical
    Privileges Required
    None
    Low
    High
    User Interaction
    None
    Required
    Scope
    Unchanged
    Changed
    Confidentiality
    None
    Low
    High
    Integrity
    None
    Low
    High
    Availability
    None
    Low
    High