VDB-393797 · CVE-2026-72844 · GCVE-0-2026-72844

Leanprover Lean 4 до 4.32.1/4.33.0-rc1 Kernel Type Checking src/kernel/inductive.cpp add_inductive эскалация привилегий

CVSS Meta Temp Score	Текущая цена эксплойта (≈)	Балл интереса CTI
5.0	$0-$5k	2.47-

СводкаИнформация

Была найдена уязвимость, отнесённая к категории проблематичный, в Leanprover Lean 4 до 4.32.1/4.33.0-rc1. Вовлечена неизвестная функция файла src/kernel/inductive.cpp компонента Kernel Type Checking. Манипуляция приводит к эскалация привилегий. Уязвимость зарегистрирована как CVE-2026-72844. К атаке нужно подходить локально. Эксплойт отсутствует.

ПодробностиИнформация

Была найдена уязвимость, отнесённая к категории проблематичный, в Leanprover Lean 4 до 4.32.1/4.33.0-rc1. Вовлечена неизвестная функция файла src/kernel/inductive.cpp компонента Kernel Type Checking. Манипуляция приводит к эскалация привилегий. Использование CWE для описания проблемы приводит к CWE-843. Слабость была опубликована. Документ доступен для загрузки по адресу github.com.

Уязвимость зарегистрирована как CVE-2026-72844. CVE был назначен 10.08.2026. К атаке нужно подходить локально. Доступна техническая информация. Популярность этой уязвимости ниже среднего. Эксплойт отсутствует. Сейчас цена на эксплойт приблизительно равна USD $0-$5k.

Указано значение Не определено.

Переход на версию 4.32.2 способен решить эту проблему.

ПродуктИнформация

Поставщик

Leanprover

Имя

Lean 4

Версия

CPE 2.3Информация

CPE 2.2Информация

CVSSv4Информация

VulDB Вектор: 🔒
VulDB Надёжность: 🔍

CNA CVSS-B Score: 🔒
CNA CVSS-BT Score: 🔒
CNA Вектор: 🔒

CVSSv3Информация

VulDB Meta Base Score: 5.1
VulDB Meta Temp Score: 5.0

VulDB Базовый балл: 4.0
VulDB Временная оценка: 3.8
VulDB Вектор: 🔒
VulDB Надёжность: 🔍

CNA Базовый балл: 6.3
CNA Вектор (VulnCheck): 🔒

CVSSv2Информация

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

Вектор	Сложность	Аутентификация	Конфиденциальность	Целостность	Доступность
Разблокировать	Разблокировать	Разблокировать	Разблокировать	Разблокировать	Разблокировать
Разблокировать	Разблокировать	Разблокировать	Разблокировать	Разблокировать	Разблокировать
Разблокировать	Разблокировать	Разблокировать	Разблокировать	Разблокировать	Разблокировать

VulDB Базовый балл: 🔒
VulDB Временная оценка: 🔒
VulDB Надёжность: 🔍

ЭксплуатацияИнформация

Класс: эскалация привилегий
CWE: CWE-843
CAPEC: 🔒
ATT&CK: 🔒

Физический: Частично
Локальный: Да
Удалённый: Частично

Доступность: 🔒
Статус: Не определено
Прогноз цен: 🔍
Оценка текущей цены: 🔒

0-Day	Разблокировать	Разблокировать	Разблокировать	Разблокировать
Сегодня	Разблокировать	Разблокировать	Разблокировать	Разблокировать

Разведка угрозИнформация

Интерес: 🔍
Активные акторы: 🔍
Активные группы APT: 🔍

КонтрмерыИнформация

Рекомендация: Обновление
Статус: 🔍

0-дневное время: 🔒

Обновление: Lean 4 4.32.2

ХронологияИнформация

10.08.2026 CVE присвоен
20.08.2026 +10 дни Консультация опубликована
20.08.2026 +0 дни Запись VulDB создана
20.08.2026 +0 дни Последнее обновление VulDB