CVE-2020-19725 Detail
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.
Severity
References to Advisories, Solutions, and Tools
By selecting these links, you will be leaving NIST webspace. We have provided these links to other web sites because they may have information that would be of interest to you. No inferences should be drawn on account of other sites being referenced, or not, from this page. There may be other web sites that are more appropriate for your purpose. NIST does not necessarily endorse the views expressed, or concur with the facts presented on these sites. Further, NIST does not endorse any commercial products that may be mentioned on these sites. Please address comments about this page to [email protected].
Weakness Enumeration
| CWE-ID | CWE Name | Source |
|---|---|---|
| CWE-416 | Use After Free | NIST |
Change History
1 change records found show changes
Initial Analysis by NIST 8/24/2023 10:46:11 PM
| Action | Type | Old Value | New Value |
|---|---|---|---|
| Added | CPE Configuration |
OR
*cpe:2.3:a:microsoft:z3:*:*:*:*:*:*:*:* versions up to (excluding) 4.8.8
|
|
| Added | CVSS V3.1 |
NIST AV:L/AC:L/PR:N/UI:R/S:U/C:H/I:H/A:H |
|
| Added | CWE |
NIST CWE-416 |
|
| Changed | Reference Type |
https://github.com/Z3Prover/z3/issues/3363 No Types Assigned |
https://github.com/Z3Prover/z3/issues/3363 Exploit, Issue Tracking, Patch, Third Party Advisory |
Quick Info
CVE Dictionary Entry:
CVE-2020-19725
NVD Published Date:
08/22/2023
NVD Last Modified:
08/24/2023
Source:
MITRE