Homepage

z3-solver@4.4.2.1 vulnerabilities

an efficient SMT solver library

  • latest version

    4.16.0.0

  • latest non vulnerable version

    4.16.0.0

  • first published

    9 years ago

  • latest version published

    26 days ago

  • licenses detected

  • View z3-solver package health on Snyk Advisor  (opens in a new tab)
    • Go back to all versions of this package
    Report a new vulnerability Found a mistake?

    Direct Vulnerabilities

    Known vulnerabilities in the z3-solver package. This does not include vulnerabilities belonging to this package’s dependencies.

    Fix vulnerabilities automatically

    Snyk's AI Trust Platform automatically finds the best upgrade path and integrates with your development workflows. Secure your code at zero cost.

    Fix for free
    VulnerabilityVulnerable Version
    • H
    Use After Free

    Affected versions of this package are vulnerable to Use After Free when processing files in pdd_simplifier.cpp. An attacker can cause segmentation faults or execute arbitrary code by triggering unexpected memory access. This occurs as the solver is trying to simplify the constraints, which leads to a use-after-free vulnerability.

    How to fix Use After Free?

    Upgrade z3-solver to version 4.8.8.0 or higher.

    [,4.8.8.0)
    Go back to all versions of this package