Filtered by vendor Microsoft
Subscriptions
Filtered by product Z3
Subscriptions
Total
1 CVE
| CVE | Vendors | Products | Updated | CVSS v3.1 |
|---|---|---|---|---|
| CVE-2020-19725 | 1 Microsoft | 1 Z3 | 2024-11-21 | 7.8 High |
| 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. | ||||
Page 1 of 1.