rocq-prover Rocq fino a 9.1.x Guard Checker kernel/inductive.ml find_uniform_parameters escalationi di privilegi

CVSS Punteggio meta temporaneo	Prezzo attuale dell'exploit (≈)	Punteggio di interesse CTI
5.2	$0-$5k	0.99+

Riassuntoinformazioni

Un punto di debole di livello problematico è stato rilevato in rocq-prover Rocq fino a 9.1.x. É interessato la funzione find_uniform_parameters del file kernel/inductive.ml del componente Guard Checker. Per causa della manipolazione di un input sconosciuto se causa una vulnerabilità di classe escalationi di privilegi. Questa vulnerabilità è segnalata come CVE-2026-72703. L'attacco si effettua con la rete. Nessun exploit disponibile.

Dettagliinformazioni

In rocq-prover Rocq fino a 9.1.x è stato trovato un punto critico di livello problematico. Da questa vulnerabilità è interessato la funzione find_uniform_parameters del file kernel/inductive.ml del componente Guard Checker. Per causa della manipolazione di un input sconosciuto se causa una vulnerabilità di classe escalationi di privilegi. Questo agisce su la integrità.

L'advisory è scaricabile da github.com. Questa vulnerabilità è identificata come CVE-2026-72703. L'uso è semplice. Con la rete può partire l'attacco. L'utilizzo non richiede alcuna forma di autentificazione. Sono disponibili dettagli tecnici, ma nessun metodo di utilizzo.

L'aggiornamento alla versione 9.2.0 elimina questa vulnerabilità.

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

Prodottoinformazioni

Fornitore

• rocq-prover

Nome

• Rocq

Versione

• 9.0
• 9.1

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

VulDB Punteggio di base: 4.3
VulDB Punteggio temporaneo: 4.1
VulDB Vettore: 🔒
VulDB Affidabilità: 🔍

CNA Punteggio di base: 6.3
CNA Vettore (VulnCheck): 🔒

CVSSv2informazioni

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

Vettore	Complessità	Autenticazione	Riservatezza	Integrità	Disponibilità
Sbloccare	Sbloccare	Sbloccare	Sbloccare	Sbloccare	Sbloccare
Sbloccare	Sbloccare	Sbloccare	Sbloccare	Sbloccare	Sbloccare
Sbloccare	Sbloccare	Sbloccare	Sbloccare	Sbloccare	Sbloccare

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: Si

Disponibilità: 🔒
Stato: Non definito
Previsione dei prezzi: 🔍
Preventivo attuale: 🔒

0-Day	Sbloccare	Sbloccare	Sbloccare	Sbloccare
Oggi	Sbloccare	Sbloccare	Sbloccare	Sbloccare

Intelligence sulle minacceinformazioni

Interesse: 🔍
Attori attivi: 🔍
Gruppi APT attivi: 🔍

Contromisureinformazioni

Raccomandazione: Aggiornamento
Stato: 🔍

Tempo 0 giorni: 🔒

Aggiornamento: Rocq 9.2.0

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

Voceinformazioni

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

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

Discussione

Are you interested in using VulDB?

Download the whitepaper to learn more about our service!