CVE-2026-31413
bpf: Исправление некорректного разветвления скаляров в maybe_fork_scalars() для BPF_OR
- Опубликовано
- 12 апр. 2026 г.
- Обновлено
- 5 авг. 2026 г.
- Назначение CNA
- Linux
- Наблюдены доказательства
- 19 авг. 2026 г.
Первичный CVSS
nvd · CVSS 3.1
CVSS:3.1/AV:L/AC:L/PR:L/UI:N/S:U/C:H/I:H/A:HНизкий · следующие 30 дней
- Процентиль
- 12,9 %
- Дата модели
- 21 сент. 2026 г.
EPSS – это статистическая оценка, а не достоверность или мера воздействия. Объедините это с CVSS, статусом KEV, воздействием и вашей средой.
Резюме
В ядре Linux устранена следующая уязвимость: bpf: Исправление некорректного разветвления скаляров в maybe_fork_scalars() для BPF_OR Функция maybe_fork_scalars() вызывается как для BPF_AND, так и для BPF_OR, когда исходный операнд является константой. Когда dst имеет знаковый диапазон [-1, 0], она разветвляет состояние верификатора: вложенный путь получает dst = 0, текущий путь получает dst = -1. Для BPF_AND это корректно: 0 & K == 0. Для BPF_OR это неверно: 0 | K == K, а не 0. Таким образом, вложенный путь отслеживает dst как 0, тогда как фактическое значение во время выполнения равно K, что приводит к эксплуатируемому расхождению между верификатором и средой выполнения и позволяет осуществлять доступ к карте за пределами границ. Исправление заключается в передаче env->insn_idx (вместо env->insn_idx + 1) в push_stack(), чтобы вложенный путь повторно выполнял инструкцию ALU с dst = 0 и естественным образом вычислял корректный результат для любого опкода.
Источники
1CVE-2026-31413: ошибка корректности верификатора BPF — побег из контейнера
Ответственное использование
Используйте информацию об уязвимостях только в тех системах, которыми вы владеете или имеете право тестировать. Kitploit ссылается на метаданные общедоступных исследований и не хранит код эксплойта или вредоносные полезные данные.