VDB-394819 · CVE-2026-72711 · GCVE-0-2026-72711

Leanprover Lean до 4.32.1 Kernel environment::add_opaque эскалация привилегий

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

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

В проблематичный обнаружена уязвимость, классифицированная как Leanprover Lean до 4.32.1. Неизвестная функция компонента Kernel используется. Осуществление манипуляции приводит к эскалация привилегий. Эта уязвимость продается как CVE-2026-72711. К атаке нужно подходить локально. Эксплойт отсутствует.

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

В проблематичный обнаружена уязвимость, классифицированная как Leanprover Lean до 4.32.1. Неизвестная функция компонента Kernel используется. Осуществление манипуляции приводит к эскалация привилегий. Декларирование проблемы с помощью CWE приводит к CWE-20. Информация о слабости была опубликована. Консультация доступна для загрузки на github.com.

Эта уязвимость продается как CVE-2026-72711. Назначение CVE произошло 10.08.2026. К атаке нужно подходить локально. Имеются технические подробности. Уровень популярности этой уязвимости ниже среднего значения. Эксплойт отсутствует. Текущая цена за эксплойт может составлять около USD $0-$5k в настоящее время.

Задано как Не определено. .

Обновление до версии 4.32.2 способно решить эту проблему.

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

Поставщик

Leanprover

Имя

Lean

Версия

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

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

CVSSv4Информация

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

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

CVSSv3Информация

VulDB Meta Base Score: 4.5
VulDB Meta Temp Score: 4.5

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

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

CVSSv2Информация

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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