Leanprover Lean até 4.32.1 Kernel environment::add_opaque Elevação de Privilégios

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

Sumárioinformação

Foi detectada uma vulnerabilidade classificada como problemático em Leanprover Lean até 4.32.1. Afectado é a função environment::add_opaque do componente Kernel. A manipulação com uma entrada desconhecida leva a Elevação de Privilégios. A vulnerabilidade é identificada como CVE-2026-72711. O ataque requer abordagem local. Não há nenhuma exploração disponível.

Detalhesinformação

Foi detectada uma vulnerabilidade classificada como problemático em Leanprover Lean até 4.32.1. Afectado é a função environment::add_opaque do componente Kernel. A manipulação com uma entrada desconhecida leva a Elevação de Privilégios. Declarar o problema usando CWE resulta em CWE-20. A fraqueza foi publicada. O aconselhamento é partilhado para download em github.com.

A vulnerabilidade é identificada como CVE-2026-72711. A atribuição do CVE aconteceu em 10/08/2026. O ataque requer abordagem local. Os detalhes técnicos estão disponíveis. A vulnerabilidade não é bem conhecida. Não há nenhuma exploração disponível. Neste momento, o preço atual de um exploit pode ser cerca de USD $0-$5k agora.

É declarado como não definido. .

A atualização para a versão 4.32.2 pode solucionar este problema.

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: 4.5
VulDB Meta Pontuação Temporária: 4.5

VulDB Pontuação Base: 2.8
VulDB Pontuação Temporária: 2.7
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: Parcial

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: Lean 4.32.2

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

Entradainformação

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

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

Discussão

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

Por favor, inicie sessão para comentar.

◂ VoltarVisão GeralPróximo ▸

Want to know what is going to be exploited?

We predict KEV entries!