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


Severity

Recommended
0.0
medium
0
10

CVSS assessment by Snyk's Security Team. Learn more

Threat Intelligence

Exploit Maturity
Proof of Concept

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 Learn

Learn about Use After Free vulnerabilities in an interactive lesson.

Start learning
  • Snyk IDSNYK-DOTNET-MICROSOFTZ3X64-1063225
  • published21 Jan 2021
  • disclosed21 Jan 2021
  • creditUnknown

Introduced: 21 Jan 2021

CVE NOT AVAILABLE CWE-416  (opens 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.

CVSS Base Scores

version 3.1