rocq-prover Rocq jusqu’à 9.1.x Guard Checker kernel/inductive.ml find_uniform_parameters élévation de privilèges

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

Résuméinformation

Une vulnérabilité qui a été classée problématique a été trouvée dans rocq-prover Rocq jusqu’à 9.1.x. L'élément concerné est la fonction find_uniform_parameters du fichier kernel/inductive.ml du composant Guard Checker. L’utilisation aboutit à élévation de privilèges. Cette vulnérabilité est connue comme CVE-2026-72703. Il est possible d'initialiser l'attaque à distance. Il n'existe pas d'exploit disponible.

Détailsinformation

Une vulnérabilité classée problématique a été trouvée dans rocq-prover Rocq jusqu’à 9.1.x. Affecté par ce problème est la fonction find_uniform_parameters du fichier kernel/inductive.ml du composant Guard Checker. 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 identifiée comme CVE-2026-72703. Elle est facilement utilisable. Il est possible d'initialiser l'attaque à distance. L'exploitation ne nécéssite aucune forme d'authentification. Les détails technniques sont connus, mais aucun exploite n'est disponible.

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

If you want to get best quality of vulnerability data, you may have to visit 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.3
VulDB Score méta-temporaire: 5.2

VulDB Note de base: 4.3
VulDB Note temporaire: 4.1
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: Oui

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: Rocq 9.2.0

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-72703 (🔒)
GCVE (CVE): GCVE-0-2026-72703
GCVE (VulDB): GCVE-100-394818

Entréeinformation

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

If you want to get best quality of vulnerability data, you may have to visit VulDB.

Discussion

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

Veuillez vous connecter pour commenter.

◂ PrécédentAperçuSuivant ▸

Want to know what is going to be exploited?

We predict KEV entries!