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 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