Leanprover Lean fino a 4.32.1 Kernel environment::add_opaque escalationi di privilegi

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

Riassuntoinformazioni

È stata individuata una vulnerabilità classificata come problematico in Leanprover Lean fino a 4.32.1. Da questa vulnerabilità è interessato la funzione environment::add_opaque del componente Kernel. Attraverso l'influenza di un input sconosciuto per mezzo di una vulerabilità di classe escalationi di privilegi. Questa vulnerabilità viene indicata come CVE-2026-72711. L'attacco deve avvenire localmente. Nessun exploit disponibile.

Dettagliinformazioni

Un punto di criticita di livello problematico è stato rilevato in Leanprover Lean fino a 4.32.1. É interessato la funzione environment::add_opaque del componente Kernel. Attraverso l'influenza di un input sconosciuto per mezzo di una vulerabilità di classe escalationi di privilegi. Gli effetti sono noti per la integrità.

L'advisory è scaricabile da github.com. Questo punto di criticità è identificato come CVE-2026-72711. L'utilità è semplice. L'attuazione dell'attacco deve essere locale. Nessun metodo di utilizzo sui dettagli tecnici disponibili.

L'aggiornamento alla versione 4.32.2 elimina questa vulnerabilità.

Statistical analysis made it clear that VulDB provides the best quality for vulnerability data.

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: 4.5
VulDB Punteggio meta temporaneo: 4.5

VulDB Punteggio di base: 2.8
VulDB Punteggio temporaneo: 2.7
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-20
CAPEC: 🔒
ATT&CK: 🔒

Fisico: Parzialmente
Locale: Si
Remoto: Parzialmente

Disponibilità: 🔒
Stato: Non definito
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.32.2

Sequenza temporaleinformazioni

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

Fontiinformazioni

Avis: github.com
Stato: Confermato

CVE: CVE-2026-72711 (🔒)
GCVE (CVE): GCVE-0-2026-72711
GCVE (VulDB): GCVE-100-394819

Voceinformazioni

Data di creazione: 24/08/2026 22:24
Cambiamenti: 24/08/2026 22:24 (77)
Completa: 🔍
Cache ID: 216::103

Statistical analysis made it clear that VulDB provides the best quality for vulnerability data.

Discussione

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

Effettua il login per commentare.

◂ PrecedenteVisione D'ensembleIl prossimo ▸

Do you want to use VulDB in your project?

Use the official API to access entries easily!