CVE Feed

    Dashboard / CVE / CVE-2020-19725

    CVE-2020-19725

    There is a use-after-free vulnerability in file pdd_simplifier.cpp in Z3 before 4.8.8. It occurs when the solver attempt to simplify the constraints and causes unexpected memory access. It can cause segmentation faults or arbitrary code execution.

    Published:Aug 22, 2023
    Last Modified:Nov 21, 2024
    EPS:Aug 22, 2023
    EPSS Score:0.00388
    CVSS Score:7.8

    Affected Products

    Vendor
    Microsoft
    Product
    Z3

    Exploits

    https://github.com/Z3Prover/z3/issues/3363https://github.com/Z3Prover/z3/issues/3363

    Common Weakness Enumeration

    CWE-416 Use After Free

    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