Leanprover Lean jusqu’à 4.32.1 Kernel environment::add_opaque élévation de privilèges

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

Résuméinformation

Une vulnérabilité a été trouvé dans Leanprover Lean jusqu’à 4.32.1 et classée problématique. La partie affectée est la fonction environment::add_opaque du composant Kernel. La manipulation avec une valeur d'entrée inconnue mène à une vulnérabilité de classe élévation de privilèges. Cette vulnérabilité a été nommée CVE-2026-72711. Un accés local est requis pour garantir le succés de l'attaque. Il n'y a pas d'exploit disponible.

Détailsinformation

Une vulnérabilité qui a été classée problématique a été trouvée dans Leanprover Lean jusqu’à 4.32.1. Ceci affecte la fonction environment::add_opaque du composant Kernel. 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é est connue comme CVE-2026-72711. L'utilisation est simple. Un accés local est requis pour garantir le succés de l'attaque. Les détails technniques sont connus, mais aucun exploite n'est disponible.

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

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

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: 4.5
VulDB Score méta-temporaire: 4.5

VulDB Note de base: 2.8
VulDB Note temporaire: 2.7
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-20
CAPEC: 🔒
ATT&CK: 🔒

Physique: Partiellement
Local: Oui
Remote: Partiellement

Disponibilité: 🔒
Statut: Non défini
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.32.2

Chronologieinformation

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

Sourcesinformation

Bulletin: github.com
Statut: Confirmé

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

Entréeinformation

Créé: 24/08/2026 22:24
Changements: 24/08/2026 22:24 (77)
Complet: 🔍
Cache ID: 216::103

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

Discussion

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

Veuillez vous connecter pour commenter.

◂ PrécédentAperçuSuivant ▸

Might our Artificial Intelligence support you?

Check our Alexa App!