Cvc5
Cvc5 Solver: vulnerabilidades y CVE
Cvc5 Solver 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-2024-37794 | Alta (7.5) | 0.47% | — | 17 jun 2024 | La validación de entrada incorrecta en CVC5 Solver v1.1.3 permite a los atacantes provocar una denegación de servicio (DoS) a través de un archivo de entrada SMT2 manipulado. |