Проверка Linux SELinux после обязательного определения каждого boolean value: offline policy map, gap fixture и fail-closed loader в snapshot VM.
Когда проверять SELinux boolean indexing
p_bools.nprim задаётся policy image независимо от перечисленных booleans; пропуск value мог оставить пустую ячейку bool_val_to_struct, поэтому stable fix требует определить каждое значение. Сначала сопоставляют advisory с реально загруженной версией, package/image/kernel digest и включённым entry point; название продукта или похожий симптом недостаточны. Если provenance не подтверждён, итог остаётся UNKNOWN. Карточка GHSA-97qf-47rv-vfvf и первичное изменение задают узкую границу, а не сообщают о событии в вашей среде. Для иной ветки, backport или configuration вывод пересчитывают отдельно. Диагностика здесь направлена на предотвращение вреда и не содержит эксплуатационного payload.
Evidence map: boolean value map nprim × declared id × array slot × default state × loader verdict
Создайте артефакт «boolean value map nprim × declared id × array slot × default state × loader verdict». В него заносят kernel commit, policy/compiler hashes, nprim, ordered boolean ids, gap positions, offline parser result and VM loader status. Для каждого значения укажите источник: runtime query, signed artifact hash, deterministic test marker или configuration snapshot. Не смешивайте desired state с effective state и не подменяйте loaded binary записью в lockfile. Сохраняйте только относительные identifiers и счётчики; IP, hostnames, usernames, secrets, реальные документы, содержимое памяти и полные журналы не нужны для решения. Пустое поле обозначайте UNKNOWN, а не PASS.
Лабораторный протокол для linux-selinux-boolean-value-definition-check
Скомпилировать две безвредные policy fixtures: непрерывную и с одним gap, разобрать offline и загрузить только в snapshot VM без изменения host SELinux state. До запуска зафиксируйте baseline, SHA-256 fixture, максимум итераций, deadline и способ полного rollback. Положительный control подтверждает, что harness действительно достигает нужной функции; отрицательный обязан остановиться на заявленном validator/authorization/lifecycle boundary. После опыта выполните cleanup и повторно снимите counters. Меняется только один фактор, поэтому наблюдаемый результат можно связать с исправлением. Стенд не использует production credentials, customer data, внешние targets или рабочую нагрузку.
Таблица решения по CVE-2026-80913
PASS фиксируют только когда выполняется условие: Непрерывная map заполнена, gap fixture отклоняется до use of empty slot, host policy hash/enforcing state неизменны, VM возвращена к snapshot. Действие владельца: Применить stable kernel; пересобрать подозрительную policy штатным toolchain, не исправляя binary image вручную. AFFECTED означает, что реальный runtime входит в опубликованный диапазон и нужный path доступен. UPDATE-REQUIRED используют при отсутствии подтверждённого fix. NOT-REACHABLE относится лишь к проверенной ветке, не ко всему продукту. После обновления повторяют идентичный control и штатный smoke-test; соседние policy, firmware, network или storage параметры одновременно не меняют, иначе доказательство причинности теряется.
Остановка и безопасная передача SELinux boolean indexing
Stop-rule: Не загружать fixture на production/host, не переключать enforcing и прекратить без доказанного snapshot rollback. При первой неожиданной ошибке не расширяйте права, охват, размер входа или длительность. В минимальный пакет сопровождения входят: kernel/compiler digests, policy hashes, nprim/id map, offline/VM verdicts and host-state before/after. Добавьте московский timestamp, expected/actual, ссылки на advisory и primary change, владельца rollback. Удалите токены, адреса, персональные данные и raw payloads. Этот пакет подтверждает только выбранный инвариант: он не доказывает отсутствие прошлой эксплуатации, применимость к другой сборке, популярность проблемы, индексацию или будущие позиции страницы.
Материал подготовлен редакцией VOne с помощью автоматизированного черновика. Факты и границы вывода сверены 5 сентября 2026 года по прямой advisory и первичному upstream изменению. Текст написан самостоятельно; опасные действия и реальные пользовательские данные не использовались.
Источники и проверка
- GitHub Advisory GHSA-97qf-47rv-vfvf проверено 2026-09-05
- Primary fix for SELinux boolean indexing проверено 2026-09-05
Информация актуальна на дату публикации. Правила сервисов, приложений и сетей могут меняться.