Use After Free Affecting microsoft.z3.x64 Open this link in a new tab package, versions [,4.8.10)

  • Exploit Maturity

    Proof of concept

  • Attack Complexity


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


  • published

    21 Jan 2021

  • disclosed

    21 Jan 2021

  • credit


Introduced: 21 Jan 2021

CWE-416 Open this link in a new tab

How to fix?

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


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.