Leanprover Lean 4 até 4.32.1/4.33.0-rc1 Kernel Type Checking src/kernel/inductive.cpp add_inductive Elevação de Privilégios

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

Sumárioinformação

Uma vulnerabilidade foi encontrada em Leanprover Lean 4 até 4.32.1/4.33.0-rc1. Foi classificada como problemático. A função afetada é environment::add_inductive do arquivo src/kernel/inductive.cpp do componente Kernel Type Checking. O tratamento leva a Elevação de Privilégios. Esta vulnerabilidade está registrada como CVE-2026-72844. O ataque requer abordagem local. Nenhum exploit está disponível.

Detalhesinformação

Uma vulnerabilidade foi encontrada em Leanprover Lean 4 até 4.32.1/4.33.0-rc1. Foi classificada como problemático. A função afetada é environment::add_inductive do arquivo src/kernel/inductive.cpp do componente Kernel Type Checking. O tratamento leva a Elevação de Privilégios. Usar CWE para declarar o problema leva a CWE-843. O problema foi divulgado. O boletim está compartilhado para download em github.com.

Esta vulnerabilidade está registrada como CVE-2026-72844. O CVE foi atribuído em 10/08/2026. O ataque requer abordagem local. Os detalhes técnicos podem ser consultados. Esta vulnerabilidade tem popularidade abaixo da média. Nenhum exploit está disponível. Atualmente, o preço atual de um exploit pode ser aproximadamente USD $0-$5k no momento.

Está declarado como não definido.

A actualização para a versão 4.32.2 é capaz de abordar 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.1
VulDB Meta Pontuação Temporária: 5.0

VulDB Pontuação Base: 4.0
VulDB Pontuação Temporária: 3.8
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-843
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 4.32.2

Linha do tempoinformação

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

Fontesinformação

Aconselhamento: github.com
Estado: Confirmado

CVE: CVE-2026-72844 (🔒)
GCVE (CVE): GCVE-0-2026-72844
GCVE (VulDB): GCVE-100-393797

Entradainformação

Criado: 20/08/2026 19h36
Ajustamentos: 20/08/2026 19h36 (78)
Completo: 🔍
Cache ID: 216::103

If you want to get the best quality for vulnerability data then you always have to consider 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!