Homepage About Snyk

Use After Free Affecting microsoft.z3.x64 package, versions [,4.8.10)

0.0
medium

  • Exploit Maturity

    Proof of concept

  • Attack Complexity

    Low

Do your applications use this vulnerable package?

In a few clicks we can analyze your entire application and see what components are vulnerable in your application, and suggest you quick fixes.

Test your applications

  • snyk-id

    SNYK-DOTNET-MICROSOFTZ3X64-1063225

  • published

    21 Jan 2021

  • disclosed

    21 Jan 2021

  • credit

    Unknown

Report a new vulnerability Found a mistake?

Introduced: 21 Jan 2021

CVE - NOT AVAILABLE
CWE-416 Open this link in a new tab

How to fix?

Upgrade Microsoft.Z3.x64 to version 4.8.10 or higher.

Overview

Microsoft.Z3.x64 is a satisfiability modulo theories solver from Microsoft Research.

Affected versions of this package are vulnerable to Use After Free in src/ast/ast.h which can be triggered via the proof function.