VDB-394818 · CVE-2026-72703 · GCVE-0-2026-72703

rocq-prover Rocq до 9.1.x Guard Checker kernel/inductive.ml find_uniform_parameters эскалация привилегий

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

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

Зафиксирована уязвимость, классифицируемая как проблематичный, в rocq-prover Rocq до 9.1.x. Неизвестная функция файла kernel/inductive.ml компонента Guard Checker вовлечена. Выполнение манипуляции приводит к эскалация привилегий. Эта уязвимость проходит под номером CVE-2026-72703. Возможно осуществить атаку удалённо. Эксплойт не найден.

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

Зафиксирована уязвимость, классифицируемая как проблематичный, в rocq-prover Rocq до 9.1.x. Неизвестная функция файла kernel/inductive.ml компонента Guard Checker вовлечена. Выполнение манипуляции приводит к эскалация привилегий. Указание проблемы через CWE ведет к CWE-20. Данная уязвимость была опубликована. Консультацию можно прочитать на сайте github.com.

Эта уязвимость проходит под номером CVE-2026-72703. Дата назначения CVE - 10.08.2026. Возможно осуществить атаку удалённо. Техническая информация предоставлена. Данная уязвимость менее популярна, чем в среднем. Эксплойт не найден. На текущий момент стоимость эксплойта может быть примерно USD $0-$5k.

Это объявлено как Не определено.

Установка версии 9.2.0 позволяет решить данный вопрос.

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

Поставщик

rocq-prover

Имя

Rocq

Версия

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

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

CVSSv4Информация

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

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

CVSSv3Информация

VulDB Meta Base Score: 5.3
VulDB Meta Temp Score: 5.2

VulDB Базовый балл: 4.3
VulDB Временная оценка: 4.1
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-дневное время: 🔒

Обновление: Rocq 9.2.0

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

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