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-08-04 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.