rocq-prover Rocq até 9.1.x Guard Checker kernel/inductive.ml find_uniform_parameters Elevação de Privilégios

CVSS Meta Pontuação TemporáriaPreço atual do exploit (≈)Nota de Interesse CTI
5.2$0-$5k0.97

Sumárioinformação

Detectou-se uma vulnerabilidade classificada como problemático em rocq-prover Rocq até 9.1.x. O elemento afetado é a função find_uniform_parameters no arquivo kernel/inductive.ml no componente Guard Checker. A utilização pode causar Elevação de Privilégios. Esta vulnerabilidade é identificada como CVE-2026-72703. Existe a possibilidade de executar o ataque de forma remota. Não existe nenhum exploit disponível.

Detalhesinformação

Detectou-se uma vulnerabilidade classificada como problemático em rocq-prover Rocq até 9.1.x. O elemento afetado é a função find_uniform_parameters no arquivo kernel/inductive.ml no componente Guard Checker. A utilização pode causar Elevação de Privilégios. Ao utilizar CWE para declarar o problema, isso direciona para CWE-20. A falha foi publicada. O comunicado foi disponibilizado para download em github.com.

Esta vulnerabilidade é identificada como CVE-2026-72703. A atribuição do identificador CVE aconteceu em 10/08/2026. Existe a possibilidade de executar o ataque de forma remota. Há detalhes técnicos disponíveis. Esta vulnerabilidade apresenta popularidade inferior à média. Não existe nenhum exploit disponível. No momento, o preço atual de um exploit pode estar em torno de USD $0-$5k atualmente.

Foi declarado como não definido.

A atualização para a versão 9.2.0 é capaz de corrigir esta questão.

Produtoinformação

Fabricante

Nome

Versão

CPE 2.3informação

CPE 2.2informação

CVSSv4informação

VulDB Vetor: 🔒
VulDB Fiabilidade: 🔍

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

CVSSv3informação

VulDB Meta Pontuação Base: 5.3
VulDB Meta Pontuação Temporária: 5.2

VulDB Pontuação Base: 4.3
VulDB Pontuação Temporária: 4.1
VulDB Vetor: 🔒
VulDB Fiabilidade: 🔍

CNA Pontuação Base: 6.3
CNA Vetor (VulnCheck): 🔒

CVSSv2informação

AVACAuCIA
💳💳💳💳💳💳
💳💳💳💳💳💳
💳💳💳💳💳💳
VectorComplexidadeAutenticaçãoConfidencialidadeIntegridadeDisponibilidade
DesbloquearDesbloquearDesbloquearDesbloquearDesbloquearDesbloquear
DesbloquearDesbloquearDesbloquearDesbloquearDesbloquearDesbloquear
DesbloquearDesbloquearDesbloquearDesbloquearDesbloquearDesbloquear

VulDB Pontuação Base: 🔒
VulDB Pontuação Temporária: 🔒
VulDB Fiabilidade: 🔍

Exploraçãoinformação

Classe: Elevação de Privilégios
CWE: CWE-20
CAPEC: 🔒
ATT&CK: 🔒

Físico: Parcial
Local: Sim
Remoto: Sim

Disponibilidade: 🔒
Estado: Não definido
Tendência de preços: 🔍
Estimativa de preço atual: 🔒

0-DayDesbloquearDesbloquearDesbloquearDesbloquear
HojeDesbloquearDesbloquearDesbloquearDesbloquear

Inteligência de ameaçasinformação

Interesse: 🔍
Atores ativos: 🔍
Grupos APT ativos: 🔍

Contramedidasinformação

Recomendação: Atualização
Estado: 🔍

Tempo 0-dia: 🔒

Atualização: Rocq 9.2.0

Linha do tempoinformação

10/08/2026 CVE atribuído
24/08/2026 +14 dias Aviso publicado
24/08/2026 +0 dias Entrada VulDB criada
24/08/2026 +0 dias Última atualização da VulDB

Fontesinformação

Aconselhamento: github.com
Estado: Confirmado

CVE: CVE-2026-72703 (🔒)
GCVE (CVE): GCVE-0-2026-72703
GCVE (VulDB): GCVE-100-394818

Entradainformação

Criado: 24/08/2026 22h24
Ajustamentos: 24/08/2026 22h24 (78)
Completo: 🔍
Cache ID: 216::103

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

Discussão

Ainda sem comentários. Idiomas: pt + es + en.

Por favor, inicie sessão para comentar.

◂ VoltarVisão GeralPróximo ▸

Want to stay up to date on a daily basis?

Enable the mail alert feature now!