Как проверить check_add_overflow в Linux vmwgfx shader bounds: arithmetic table, mock backing buffer и нулевой submit для overflow case.
Когда проверять vmwgfx shader definition
vmw_shader_define проверял пользовательское окно shader в backing buffer; stable fix применяет check_add_overflow к size плюс offset до сравнения границы. Сначала сопоставляют advisory с реально загруженной версией, package/image/kernel digest и включённым entry point; название продукта или похожий симптом недостаточны. Если provenance не подтверждён, итог остаётся UNKNOWN. Карточка GHSA-377r-p949-gf93 и первичное изменение задают узкую границу, а не сообщают о событии в вашей среде. Для иной ветки, backport или configuration вывод пересчитывают отдельно. Диагностика здесь направлена на предотвращение вреда и не содержит эксплуатационного payload.
Evidence map: arithmetic sheet offset × size × sum/overflow flag × buffer bytes × define result
Создайте артефакт «arithmetic sheet offset × size × sum/overflow flag × buffer bytes × define result». В него заносят kernel/vmwgfx commit, mock buffer length, small boundary operands, checked-add result, object/submit counters and DRM fd baseline. Для каждого значения укажите источник: 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-vmwgfx-shader-size-offset-overflow
В KUnit или mock DRM harness проверить обычное окно, точную границу и арифметический overflow без allocation огромного buffer и без GPU command submission. До запуска зафиксируйте baseline, SHA-256 fixture, максимум итераций, deadline и способ полного rollback. Положительный control подтверждает, что harness действительно достигает нужной функции; отрицательный обязан остановиться на заявленном validator/authorization/lifecycle boundary. После опыта выполните cleanup и повторно снимите counters. Меняется только один фактор, поэтому наблюдаемый результат можно связать с исправлением. Стенд не использует production credentials, customer data, внешние targets или рабочую нагрузку.
Таблица решения по CVE-2026-80887
PASS фиксируют только когда выполняется условие: Валидные окна проходят ожидаемо, overflow помечается checked-add и отклоняется до object creation/submit, counters возвращаются к baseline. Действие владельца: Установить stable backport; до него не принимать shader definitions от недоверенного guest/userspace на затронутом path. AFFECTED означает, что реальный runtime входит в опубликованный диапазон и нужный path доступен. UPDATE-REQUIRED используют при отсутствии подтверждённого fix. NOT-REACHABLE относится лишь к проверенной ветке, не ко всему продукту. После обновления повторяют идентичный control и штатный smoke-test; соседние policy, firmware, network или storage параметры одновременно не меняют, иначе доказательство причинности теряется.
Остановка и безопасная передача vmwgfx shader definition
Stop-rule: Не создавать большой allocation, не задействовать compositor/GPU и остановиться при реальном submit либо object leak. При первой неожиданной ошибке не расширяйте права, охват, размер входа или длительность. В минимальный пакет сопровождения входят: kernel/vmwgfx hashes, operand table, overflow flags, return codes, object/submit counts and harness teardown. Добавьте московский timestamp, expected/actual, ссылки на advisory и primary change, владельца rollback. Удалите токены, адреса, персональные данные и raw payloads. Этот пакет подтверждает только выбранный инвариант: он не доказывает отсутствие прошлой эксплуатации, применимость к другой сборке, популярность проблемы, индексацию или будущие позиции страницы.
Материал подготовлен редакцией VOne с помощью автоматизированного черновика. Факты и границы вывода сверены 5 сентября 2026 года по прямой advisory и первичному upstream изменению. Текст написан самостоятельно; опасные действия и реальные пользовательские данные не использовались.
Источники и проверка
- GitHub Advisory GHSA-377r-p949-gf93 проверено 2026-09-05
- Primary fix for vmwgfx shader definition проверено 2026-09-05
Информация актуальна на дату публикации. Правила сервисов, приложений и сетей могут меняться.