CVE-2020-19725
High
Description
There is a use-after-free vulnerability in file pdd_simplifier.cpp in Z3 before 4.8.8. It occurs when the solver attempt to simplify the constraints and causes unexpected memory access. It can cause segmentation faults or arbitrary code execution.
SeverityHigh
CVSS7.8
Exploit probability—
Product
Microsoft Z3
PublishedAug 22, 2023
First seenAug 22, 2023
How to fix
Update
- microsoft z34.8.8 or later
Affected products
| Product | Affected versions | Fixed in |
|---|---|---|
| microsoft z3 | v < 4.8.8 | 4.8.8 |
Check your version
Choose the product and enter the version you run to see whether it falls in the affected range.
In the Intelligence 360 plan
Attack Surface Management
See the assets tied to your domains, the technologies they run and known vulnerabilities in one list.