Back to Database
Status published
High
CVE-2020-19725
There is a use-after-free vulnerability in file pdd_simplifier.cpp in Z3...
Vulnerability 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.
Impact Analysis
Refer to official advisory for detailed impact metrics.
Remediation
Ensure systems are updated to the latest vendor-supplied patch levels.
THREAT MONITOR
Am I Vulnerable?
Launch our assessment wizard to check if your infrastructure is exposed to • CVE-2020-19725
Credits & Attribution
No credits recorded in the NVD database.
References
More from microsoft
View All →CVE-2025-25199
BCryptGenerateSymmetricKey memory leak
High
7.5
CVE-2024-47083
Power Platform Terraform Provider has Improper Masking of Secrets in Logs
High
8.8
CVE-2024-0590
Microsoft Clarity <= 0.9.3 - Cross-Site Request Forgery to Stored Cross-Site Scripting
Medium
6.1
CVE-2023-30846
typed-rest-client vulnerable to potential leak of authentication data to 3rd parties
Critical
9.1
CVE-2021-3339
ModernFlow before 1.3.00.208 does not constrain web-page access to members...
Medium
4.3
Affected Vendor
microsoft
View all reports →Affected Software
z3
Vulnerable Versions:
0
Timeline
Official Publish:
August 22nd, 2023
Last Modified:
October 4th, 2024
Added to House:
July 21st, 2026
CVSS Vectors
V3:
CVSS:3.1/AV:L/AC:L/PR:N/UI:R/S:U/C:H/I:H/A:H
Weaknesses (CWE)
No CWE data available
MITRE ATT&CK TTPs
No associated TTPs found for this vulnerability.