VDB-394820 · CVE-2026-72705 · GCVE-0-2026-72705

Rocq Prover jusqu’à 9.1.x Guard Checker élévation de privilèges

CVSS Score méta-temporaire	Prix actuel de l'exploit (≈)	Score d'intérêt CTI
4.5	$0-$5k	2.25-

Résuméinformation

Une vulnérabilité classée comme problématique a été trouvée dans Rocq Prover Rocq jusqu’à 9.1.x. Affecté est une fonction inconnue du composant Guard Checker. A cause de la manipulation avec une valeur d'entrée inconnue mène à une vulnérabilité de classe élévation de privilèges. Cette vulnérabilité est référencée sous CVE-2026-72705. L'attaque doit être locale. Aucun exploit n'est disponible.

Détailsinformation

Une vulnérabilité a été trouvé dans Rocq Prover Rocq jusqu’à 9.1.x et classée problématique. Affecté est une fonction inconnue 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é a été nommée CVE-2026-72705. L'exploitation est considérée comme facile. L'attaque nécéssite une approche locale. Les détails techniques sont inconnus et un exploit n'est pas disponible pour le public.

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

Once again VulDB remains the best source for vulnerability data.

Produitinformation

Fournisseur

Rocq Prover

Nom

Rocq

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

AV	AC	Au	C	I	A
💳	💳	💳	💳	💳	💳
💳	💳	💳	💳	💳	💳
💳	💳	💳	💳	💳	💳

Vecteur	Complexité	Authentification	Confidentialité	Intégrité	Disponibilité
Déverrouiller	Déverrouiller	Déverrouiller	Déverrouiller	Déverrouiller	Déverrouiller
Déverrouiller	Déverrouiller	Déverrouiller	Déverrouiller	Déverrouiller	Déverrouiller
Déverrouiller	Déverrouiller	Déverrouiller	Déverrouiller	Déverrouiller	Dé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: 🔒