Snyk has a proof-of-concept or detailed explanation of how to exploit this vulnerability.
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 applicationsUpgrade 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.