Безопасная проверка Linux SELinux security_get_classes после исправления unclaimed class value: анализ скомпилированной policy и отсутствие NULL без загрузки в production.
Граница исправления: SELinux policy class enumeration
Массив создавался по p_classes.nprim и заполнялся по value minus one; неопределённое значение class могло оставить NULL, поэтому исправление отклоняет такой policy state. Это узкая граница SELinux policy class enumeration: совпадение версии Linux, семейства устройства или общего симптома ещё не устанавливает достижимость именно этого path. Карточка GHSA-5v22-vqg5-vrr8 сопоставляет проблему с CVE-2026-80912, а stable commit показывает фактическое изменение upstream. Сначала подтверждают загруженное ядро и наличие backport, затем конфигурацию компонента и только потом runtime-ветку. Отсутствие сбоя в одном запуске не равно PASS, а наличие advisory не означает инцидент. Все UNKNOWN сохраняют до получения provenance; выводы не расширяют на другие drivers или версии.
Артефакт контроля для SELinux policy class enumeration
Основной рабочий артефакт — таблица class value × declaration presence × array index × generated name pointer × validator verdict. В исходную строку входят kernel commit, SELinux policy compiler version, policy SHA-256, nprim, полный набор class values и режим enforcing только как контекст. Каждое поле получает фактическое значение, TRUE/FALSE/UNKNOWN и ссылку на воспроизводимый источник: package digest, runtime symbol, trace marker либо selftest output. Версия из репозитория или панели не заменяет хеш загруженного kernel image. IP, usernames, ключи, содержимое buffers, пользовательские файлы и длинные raw logs исключают; достаточно относительных ids и агрегированных counters.
Обратимый тест: linux-selinux-security-get-classes-gap-check
Оффлайн разобрать две минимальные синтетические policy: непрерывную и с пропуском value; проверить loader validator в disposable VM, не загружая fixture на host. Перед стартом фиксируют SHA-256 fixture, baseline counters и конкретный rollback либо snapshot. Меняют один фактор, ограничивают число итераций и deadline, после чего выполняют штатный teardown и повторно снимают те же показатели. Положительный контроль подтверждает работоспособность harness; отрицательный должен остановиться на ожидаемой границе, а не просто не упасть. Реальные пользовательские данные, внешняя сеть и production credentials в fixture не входят.
PASS и решение по CVE-2026-80912
PASS: Нормальная policy перечисляет все непустые names, fixture с unclaimed value отклоняется до выдачи массива, а host policy и enforcing state не изменяются. Рекомендуемое действие: Использовать stable kernel с проверкой; отдельно пересобрать подозрительную policy штатным toolchain, не обходя отказ loader. UPDATE-REQUIRED ставят при affected runtime или отсутствии подтверждённого backport. NOT-REACHABLE допустим только для проверенного entry point, а не для всего продукта. UNKNOWN нужен при расхождении binary, config и документации. После штатного обновления повторяют тот же узкий control и один нормальный smoke-test, не совмещая это с firmware, network, storage или policy changes: иначе причинность результата потеряется.
Stop-rule для SELinux policy class enumeration
Не загружать тестовую policy на production, не переключать enforcing и прекратить при невозможности доказать, что VM изолирована и имеет snapshot rollback. После первого неожиданного warning, timeout, sanitizer report или изменения за пределами fixture не повышают нагрузку, права и объём входа. Тест не должен превращаться в воспроизведение атаки: не ищут дополнительные malformed variants, не публикуют trigger bytes, memory dumps, адреса и конфигурацию инфраструктуры. Если безопасной модели недостаточно для решения, работу останавливают и передают владельцу kernel/platform минимальный evidence pack; advisory используется как граница проверки, а не как утверждение о прошлом событии.
Минимальный пакет сопровождения SELinux policy class enumeration
Передать владельцу следует только: kernel и compiler versions, policy hashes, nprim, список только числовых values, validator codes и доказательство неизменности host policy. Добавляют московское время, expected/actual, прямые ссылки на GHSA-5v22-vqg5-vrr8 и stable commit, а также владельца rollback. Перед отправкой удаляют абсолютные домашние пути, hostnames, IP, serial numbers, pid, session identifiers, cookies, токены и payloads. Пакет должен позволять проверить ровно один заявленный инвариант, но не раскрывать среду. Он не доказывает отсутствие прошлой эксплуатации, применимость к иной сборке, массовость пользовательской боли, поисковый спрос, индексацию либо будущие позиции страницы.
Материал подготовлен редакцией VOne с помощью автоматизированного черновика. Факты и границы вывода сверены 5 сентября 2026 года по прямой advisory и первичному stable commit. Текст написан самостоятельно; опасные действия и реальные пользовательские данные не использовались.
Источники и проверка
- GitHub Advisory GHSA-5v22-vqg5-vrr8 проверено 2026-09-05
- Linux stable commit for SELinux policy class enumeration проверено 2026-09-05
Информация актуальна на дату публикации. Правила сервисов, приложений и сетей могут меняться.