Microsoft
Microsoft Z3: vulnerabilidades y CVE
Microsoft Z3 tiene 1 vulnerabilidades publicadas, 0 de ellas en los últimos 12 meses. 0 son críticas y 0 figuran en el catálogo de explotación activa de CISA.
CVE1
Últimos 12 meses0
Críticas0
Explotadas activamente0
Todas las vulnerabilidades en el catálogo →⭐ Seguir esta tecnología
Últimas vulnerabilidades
| CVE | Severidad | EPSS | Explotación activa | Publicada | Descripción |
|---|---|---|---|---|---|
| CVE-2020-19725 | Alta (7.8) | 1.0% | — | 22 ago 2023 | Existe una vulnerabilidad use-after-free en el archivo pdd_simplifier.cpp en Z3 antes de la versión 4.8.8. Ocurre cuando el solucionador intenta simplificar las restricciones y provoca un acceso inesperado a la memoria.… |
📰 Noticias relacionadas
- Alerta Microsoft avisa de 23 vulnerabilidades en Word, Excel, Outlook y SharePoint que permiten ejecutar código
- Alerta Microsoft corrige una vulnerabilidad grave en SharePoint que permite escalar privilegios a través de la red
- Alerta Microsoft da a conocer 126 vulnerabilidades en Windows, Office y SQL Server, 25 de ellas críticas y una ya explotada
- Alerta Microsoft publica dos vulnerabilidades críticas en Azure App Service y Dataverse que permiten ejecutar código sin autenticación
- Alerta Microsoft alerta de una vulnerabilidad de elevación de privilegios en Exchange Server (CVE-2026-96940)