VDB-393797 · CVE-2026-72844 · GCVE-0-2026-72844

Leanprover Lean 4 hasta 4.32.1/4.33.0-rc1 Kernel Type Checking src/kernel/inductive.cpp add_inductive escalada de privilegios

CVSS Puntuación meta temporal	Precio actual del exploit (≈)	Puntuación de interés CTI
5.0	$0-$5k	0.00

Resumeninformación

Se ha identificado una vulnerabilidad clasificada como problemática en Leanprover Lean 4 hasta 4.32.1/4.33.0-rc1. Se ve afectada una función desconocida del archivo src/kernel/inductive.cpp del componente Kernel Type Checking. A través de la manipulación de un input desconocido se causa una vulnerabilidad de clase escalada de privilegios. Esta vulnerabilidad se registra como CVE-2026-72844. El ataque sólo se debe hacer local. No se encuentra disponible ningún exploit.

Detallesinformación

Una vulnerabilidad clasificada como problemática fue encontrada en Leanprover Lean 4 hasta 4.32.1/4.33.0-rc1. La función environment::add_inductive del archivo src/kernel/inductive.cpp del componente Kernel Type Checking es afectada por esta vulnerabilidad. Por la manipulación de un input desconocido se causa una vulnerabilidad de clase escalada de privilegios. Esto tiene repercusión sobre la confidencialidad, integridad y disponibilidad.

El advisory puede ser descargado de github.com. La vulnerabilidad es identificada como CVE-2026-72844. Resulta fácil de explotar. El ataque debe ser hecho local. La explotación necesita de una verificación múltiple de la autentificación. Detalles técnicos son conocidos, pero no hay ningún exploit público disponible.

Una actualización a la versión 4.32.2 elimina esta vulnerabilidad.

If you want to get the best quality for vulnerability data then you always have to consider VulDB.

Productoinformación

Proveedor

Leanprover

Nombre

Lean 4

Versión

CPE 2.3información

CPE 2.2información

CVSSv4información

VulDB Vector: 🔒
VulDB Confiabilidad: 🔍

CNA CVSS-B Score: 🔒
CNA CVSS-BT Score: 🔒
CNA Vector: 🔒

CVSSv3información

VulDB Puntuación meta base: 5.1
VulDB Puntuación meta temporal: 5.0

VulDB Puntuación base: 4.0
VulDB Puntuación temporal: 3.8
VulDB Vector: 🔒
VulDB Confiabilidad: 🔍

CNA Puntuación base: 6.3
CNA Vector (VulnCheck): 🔒

CVSSv2información

AV	AC	Au	C	I	A
💳	💳	💳	💳	💳	💳
💳	💳	💳	💳	💳	💳
💳	💳	💳	💳	💳	💳

Vector	Complejidad	Autenticación	Confidencialidad	Integridad	Disponibilidad
Desbloquear	Desbloquear	Desbloquear	Desbloquear	Desbloquear	Desbloquear
Desbloquear	Desbloquear	Desbloquear	Desbloquear	Desbloquear	Desbloquear
Desbloquear	Desbloquear	Desbloquear	Desbloquear	Desbloquear	Desbloquear

VulDB Puntuación base: 🔒
VulDB Puntuación temporal: 🔒
VulDB Confiabilidad: 🔍

Explotacióninformación

Clase: Escalada de privilegios
CWE: CWE-843
CAPEC: 🔒
ATT&CK: 🔒

Físico: En parte
Local: Sí
Remoto: En parte

Disponibilidad: 🔒
Estado: No está definido

EPSS Score: 🔒
EPSS Percentile: 🔒

Predicción de precios: 🔍
Estimación del precio actual: 🔒

0-Day	Desbloquear	Desbloquear	Desbloquear	Desbloquear
Hoy	Desbloquear	Desbloquear	Desbloquear	Desbloquear

Inteligencia de amenazasinformación

Interés: 🔍
Actores activos: 🔍
Grupos APT activos: 🔍

Contramedidasinformación

Recomendación: Actualización
Estado: 🔍

Hora de 0 días: 🔒

Actualización: Lean 4 4.32.2

Línea de tiempoinformación

2026-08-10 CVE asignado
2026-08-20 +10 días Aviso publicado
2026-08-20 +0 días Entrada de VulDB creada
2026-08-20 +0 días Última actualización de VulDB