CVE-2019-7560

    Dashboard / Vulnerabilities / CVE-2019-7560

    CVE-2019-7560

    Published: 7 Feb 2019Last Modified: 8 Jul 2026

    Summary:

    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://github.com/Boolector/boolector/issues/28, https://github.com/Boolector/boolector/issues/29

    Affected packages

    Package

    Name:

    Purl:

    Affected ranges

    Type: GIT

    Events:

    Introduced- 698cd9d69f757997f0e44668dc8091efeec498bf
    Fixed -None

    Affected versions

    3.0.0

    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