CVEvulnerability
CVE-2020-19725
7.8 HIGH
Official page ↗
- Status
- Modified
- Published
- 2023-08-22
- Last modified
- 2026-06-17
- Assigner
- [email protected]
- CVSS 3.1 ([email protected])
- 7.8 HIGH — CVSS:3.1/AV:L/AC:L/PR:N/UI:R/S:U/C:H/I:H/A:H
- Weaknesses
- CWE-416
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.
Affected configurations
• microsoft z3 (< 4.8.8)
Related
Weakness · CWE (1)
- CWE-416 Use After Free weakness
References
- https://github.com/Z3Prover/z3/issues/3363 Exploit, Issue Tracking, Patch, Third Party Advisory
- https://github.com/Z3Prover/z3/issues/3363 Exploit, Issue Tracking, Patch, Third Party Advisory