CVE-2020-19725

    Dashboard / Vulnerabilities / CVE-2020-19725

    CVE-2020-19725

    Published: 22 Aug 2023Last Modified: 9 Jul 2026

    Summary:

    Details: 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.

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

    Affected packages

    Package

    Name:

    Purl:

    Affected ranges

    Type: GIT

    Events:

    Introduced- 0
    Fixed -ad55a1f1c617a7f0c3dd735c0780fc758424c7f1

    Affected versions

    z3-4.8.7
    z3-4.8.6
    z3-4.8.3

    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
    CVE-2020-19725 | CVE-DB