Leanprover Lean 4 jusqu’à 4.32.1/4.33.0-rc1 Kernel Type Checking src/kernel/inductive.cpp add_inductive élévation de privilèges

CVSS Score méta-temporairePrix actuel de l'exploit (≈)Score d'intérêt CTI
5.0$0-$5k0.43

Résuméinformation

Une vulnérabilité classée problématique a été trouvée dans Leanprover Lean 4 jusqu’à 4.32.1/4.33.0-rc1. La partie affectée est la fonction environment::add_inductive du fichier src/kernel/inductive.cpp du composant Kernel Type Checking. L’exploitation entraîne élévation de privilèges. Cette vulnérabilité est identifiée comme CVE-2026-72844. L'attaque ne peut être réalisée que locallement. Aucun exploit n'est disponible.

Détailsinformation

Une vulnérabilité a été trouvé dans Leanprover Lean 4 jusqu’à 4.32.1/4.33.0-rc1 et classée problématique. Affecté par cette vulnérabilité est la fonction environment::add_inductive du fichier src/kernel/inductive.cpp du composant Kernel Type Checking. A cause de la manipulation avec une valeur d'entrée inconnue mène à une vulnérabilité de classe élévation de privilèges.

La notice d'information est disponible en téléchargement sur github.com Cette vulnérabilité a été nommée CVE-2026-72844. Elle est facile à utiliser. L'attaque doit être locale. De multiples niveaux d'authentification sont requis pour l'exploitation.Les détails technniques sont connus, mais aucun exploite n'est disponible.

Mettre à jour à la version 4.32.2 élimine cette vulnérabilité.

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

Produitinformation

Fournisseur

Nom

Version

CPE 2.3information

CPE 2.2information

CVSSv4information

VulDB Vecteur: 🔒
VulDB Fiabilité: 🔍

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

CVSSv3information

VulDB Score méta-base: 5.1
VulDB Score méta-temporaire: 5.0

VulDB Note de base: 4.0
VulDB Note temporaire: 3.8
VulDB Vecteur: 🔒
VulDB Fiabilité: 🔍

CNA Note de base: 6.3
CNA Vecteur (VulnCheck): 🔒

CVSSv2information

AVACAuCIA
💳💳💳💳💳💳
💳💳💳💳💳💳
💳💳💳💳💳💳
VecteurComplexitéAuthentificationConfidentialitéIntégritéDisponibilité
DéverrouillerDéverrouillerDéverrouillerDéverrouillerDéverrouillerDéverrouiller
DéverrouillerDéverrouillerDéverrouillerDéverrouillerDéverrouillerDéverrouiller
DéverrouillerDéverrouillerDéverrouillerDéverrouillerDéverrouillerDéverrouiller

VulDB Note de base: 🔒
VulDB Note temporaire: 🔒
VulDB Fiabilité: 🔍

Exploitationinformation

Classe: élévation de privilèges
CWE: CWE-843
CAPEC: 🔒
ATT&CK: 🔒

Physique: Partiellement
Local: Oui
Remote: Partiellement

Disponibilité: 🔒
Statut: Non défini

EPSS Score: 🔒
EPSS Percentile: 🔒

Prédiction de prix: 🔍
Estimation actuelle des prix: 🔒

0-DayDéverrouillerDéverrouillerDéverrouillerDéverrouiller
Aujourd'huiDéverrouillerDéverrouillerDéverrouillerDéverrouiller

Renseignements sur les menacesinformation

Intérêt: 🔍
Acteurs actifs: 🔍
Groupes APT actifs: 🔍

Contre-mesuresinformation

Recommandé: Mise à niveau
Statut: 🔍

Heure 0 jour: 🔒

Mise à niveau: Lean 4 4.32.2

Chronologieinformation

10/08/2026 CVE réservé
20/08/2026 +10 jours Avis publié
20/08/2026 +0 jours Entrée VulDB créée
20/08/2026 +0 jours Dernière mise à jour VulDB

Sourcesinformation

Bulletin: github.com
Statut: Confirmé

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

Entréeinformation

Créé: 20/08/2026 19:36
Changements: 20/08/2026 19:36 (78)
Complet: 🔍
Cache ID: 216::103

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

Discussion

Aucun commentaire pour l'instant. Langues: fr + it + en.

Veuillez vous connecter pour commenter.

◂ PrécédentAperçuSuivant ▸

Want to stay up to date on a daily basis?

Enable the mail alert feature now!