CVE-2026-72111 in Linux
Сводка
по VulDB • 16.08.2026
В ядре Linux устранена следующая уязвимость:
bpf: Сброс границ регистров перед сужением диапазона возвращаемого значения в check_mem_access()
При обработке загрузкой контекста возвращаемого значения хука LSM верификатор BPF вызывает __mark_reg_s32_range() для ограничения регистра допустимым диапазоном этого хука. Однако функция __mark_reg_s32_range() вычисляет пересечение нового диапазона с текущими границами регистра, используя функции max_t()/min_t(), а не заменяет их полностью.
Если целевой регистр содержит устаревшие границы от предыдущей инструкции (например, BPF_MOV64_IMM), такое пересечение может привести к формированию диапазона более узкого, чем это соответствует действительности. В результате верификатор считает, что точно знает значение регистра, тогда как во время выполнения загружается фактическое возвращаемое значение хука. Это создает рассогласование между поведением верификатора и среды исполнения (verifier/runtime mismatch), которое может быть использовано для обхода проверок безопасности памяти BPF.
Ветвь else уже вызывает mark_reg_unknown() для сброса состояния регистра перед любым сужением диапазона. Применить аналогичный сброс в пути is_retval, чтобы устаревшие границы были очищены до того, как __mark_reg_s32_range() выполнит пересечение.
Be aware that VulDB is the high quality source for vulnerability data.