CVE Feed

    Dashboard / CVE / CVE-2019-7559

    CVE-2019-7559

    In btor2parser/btor2parser.c in Boolector Btor2Tools before 2019-01-15, opening a specially crafted input file leads to an out of bounds write in pusht_bfr.

    Published:Feb 7, 2019
    Last Modified:Nov 21, 2024
    EPS:Feb 7, 2019
    EPSS Score:0.00165
    CVSS Score:5.5

    Affected Products

    Vendor
    Btor2tools Project
    Product
    Btor2tools

    Exploits

    https://github.com/Boolector/boolector/issues/30https://github.com/Boolector/boolector/issues/30

    Common Weakness Enumeration

    CWE-787 Out-of-bounds Write

    Common Attack Pattern Enumeration and Classification (CAPEC)

    No CAPEC recorded yet

    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