Microsoft
Microsoft Z3: vulnerabilities and CVEs
Microsoft Z3 has 1 published vulnerabilities, 0 of them in the last 12 months. 0 are rated critical and 0 are listed by CISA as actively exploited.
CVEs1
Last 12 months0
Critical0
Actively exploited0
All vulnerabilities in the catalogue →⭐ Follow this technology
Latest vulnerabilities
| CVE | Severity | EPSS | Active exploitation | Published | Description |
|---|---|---|---|---|---|
| CVE-2020-19725 | High (7.8) | 1.0% | — | Aug 22, 2023 | 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… |
📰 Related news
- Alert Microsoft discloses 23 vulnerabilities in Word, Excel, Outlook and SharePoint that allow code execution
- Alert Microsoft fixes a high-severity SharePoint flaw that allows privilege escalation over the network
- Alert Microsoft discloses 126 vulnerabilities in Windows, Office and SQL Server, 25 critical and one already exploited
- Alert Microsoft discloses two critical flaws in Azure App Service and Dataverse allowing unauthenticated code execution
- Alert Microsoft warns of a privilege escalation flaw in Exchange Server (CVE-2026-96940)