Leanprover Lean 4 fino a 4.32.1/4.33.0-rc1 Kernel Type Checking src/kernel/inductive.cpp add_inductive escalationi di privilegi

CVSS Punteggio meta temporaneoPrezzo attuale dell'exploit (≈)Punteggio di interesse CTI
5.0$0-$5k0.43

Riassuntoinformazioni

Un punto di criticita di livello problematico è stato rilevato in Leanprover Lean 4 fino a 4.32.1/4.33.0-rc1. Riguarda la funzione environment::add_inductive del file src/kernel/inductive.cpp del componente Kernel Type Checking. L’alterazione causa escalationi di privilegi. Questa vulnerabilità viene indicata come CVE-2026-72844. L'attacco necessita di essere iniziato localmente. Nessun exploit disponibile.

Dettagliinformazioni

In Leanprover Lean 4 fino a 4.32.1/4.33.0-rc1 stata rilevata una vulnerabilità di livello problematico. Interessato da questa vulnerabilità è la funzione environment::add_inductive del file src/kernel/inductive.cpp del componente Kernel Type Checking. Mediante la manipolazione di un input sconosciuto conseguenza di una vulerabilità di classe escalationi di privilegi. Questo ha effetti su riservatezza, integrità e disponibilità.

L'advisory è scaricabile da github.com. CVE-2026-72844 è identificato come punto debole. L'utilità è semplice. L'attacco deve avvenire localmente. L'accesso all'uso è sottoposto ad una autentificazione multipla. Su punti deboli sono disponibli dettagli tecnici tuttavia senza metodo d'utilizzo.

L'aggiornamento alla versione 4.32.2 elimina questa vulnerabilità.

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

Prodottoinformazioni

Fornitore

Nome

Versione

CPE 2.3informazioni

CPE 2.2informazioni

CVSSv4informazioni

VulDB Vettore: 🔒
VulDB Affidabilità: 🔍

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

CVSSv3informazioni

VulDB Punteggio meta-base: 5.1
VulDB Punteggio meta temporaneo: 5.0

VulDB Punteggio di base: 4.0
VulDB Punteggio temporaneo: 3.8
VulDB Vettore: 🔒
VulDB Affidabilità: 🔍

CNA Punteggio di base: 6.3
CNA Vettore (VulnCheck): 🔒

CVSSv2informazioni

AVACAuCIA
💳💳💳💳💳💳
💳💳💳💳💳💳
💳💳💳💳💳💳
VettoreComplessitàAutenticazioneRiservatezzaIntegritàDisponibilità
SbloccareSbloccareSbloccareSbloccareSbloccareSbloccare
SbloccareSbloccareSbloccareSbloccareSbloccareSbloccare
SbloccareSbloccareSbloccareSbloccareSbloccareSbloccare

VulDB Punteggio di base: 🔒
VulDB Punteggio temporaneo: 🔒
VulDB Affidabilità: 🔍

Sfruttamentoinformazioni

Classe: Escalationi di privilegi
CWE: CWE-843
CAPEC: 🔒
ATT&CK: 🔒

Fisico: Parzialmente
Locale: Si
Remoto: Parzialmente

Disponibilità: 🔒
Stato: Non definito

EPSS Score: 🔒
EPSS Percentile: 🔒

Previsione dei prezzi: 🔍
Preventivo attuale: 🔒

0-DaySbloccareSbloccareSbloccareSbloccare
OggiSbloccareSbloccareSbloccareSbloccare

Intelligence sulle minacceinformazioni

Interesse: 🔍
Attori attivi: 🔍
Gruppi APT attivi: 🔍

Contromisureinformazioni

Raccomandazione: Aggiornamento
Stato: 🔍

Tempo 0 giorni: 🔒

Aggiornamento: Lean 4 4.32.2

Sequenza temporaleinformazioni

10/08/2026 CVE assegnato
20/08/2026 +10 giorni Advisory pubblicato
20/08/2026 +0 giorni Voce VulDB creata
20/08/2026 +0 giorni Ultimo aggiornamento VulDB

Fontiinformazioni

Avis: github.com
Stato: Confermato

CVE: CVE-2026-72844 (🔒)
GCVE (CVE): GCVE-0-2026-72844
GCVE (VulDB): GCVE-100-393797

Voceinformazioni

Data di creazione: 20/08/2026 19:36
Cambiamenti: 20/08/2026 19:36 (78)
Completa: 🔍
Cache ID: 216::103

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

Discussione

Ancora nessun commento. Lingue: it + ro + en.

Effettua il login per commentare.

◂ PrecedenteVisione D'ensembleIl prossimo ▸

Might our Artificial Intelligence support you?

Check our Alexa App!