Практическая защитная инструкция для ExecuTorch и GHSA-h952-963h-rv99: как подтвердить границу версии 0.7.0 / 0.7.0-rc1, выполнить обратимый synthetic-тест, распознать безопасный отказ, вовремя остановиться и передать владельцу минимальные данные без активного payload.
Применимость и версия ExecuTorch
Начальная развилка для ExecuTorch опирается на реально загруженный компонент. Advisory задаёт область «ExecuTorch Python до 0.7.0 и mobile packages до 0.7.0-rc1» и исправленную границу «0.7.0 / 0.7.0-rc1». Описанный дефект: загрузка методов из model artifact могла привести к heap buffer overflow; безопасная операционная задача — проверить parser boundary на собственных минимальных моделях. Сначала определяют, присутствует ли именно этот package и используется ли затронутая функция. Затем версию берут из runtime, image digest, lockfile вместе с собранным артефактом или package manager внутри работающего окружения. Если компонент отсутствует, статус — not-applicable. Если версия старая, но функция не подтверждена, фиксируют affected-unverified. Исправленный номер без проверки реально запущенного binary остаётся patched-unverified. Не переносят вывод на одноимённый продукт, соседний plugin, другую ветку или backport дистрибутива. Прямая страница GHSA-h952-963h-rv99 была обновлена 21 августа 2026 года; дата делает проверку своевременной, но сама по себе не говорит о состоянии вашей установки.
Инвентарь до изменения ExecuTorch
До обновления собирают узкий предметный инвентарь: версия runtime на каждой платформе, hash binary, формат model artifact, включённый backend, memory limits, crash supervision и две маленькие модели, собранные самим владельцем. Для каждого поля записывают факт, not-applicable или unknown; пустое значение нельзя считать безопасным. Отдельно сохраняют точный dependency snapshot, конфигурацию только затронутой функции, baseline health и путь возврата. Логи минимизируют: оставляют время, версию, класс входа, код результата и correlation id, удаляя tokens, cookies, IP, usernames, абсолютные пути, содержимое документов и рабочие payload. Если baseline уже не проходит, исправление и прежнюю поломку не смешивают. Сначала возвращают известное состояние, затем повторяют инвентарь. Такая пауза отделяет проблему поставки пакета от конфигурации, proxy, прав, данных и соседних зависимостей.
Ограниченная проверка ExecuTorch
Проверка выполняется только в изолированной среде: в отдельном process загрузить валидную минимальную модель и её намеренно усечённую копию, полученную после backup; не менять поля вручную и не использовать сторонние модели. До запуска задают один ожидаемый штатный исход A, один защитный исход B, повтор A2, временной лимит, memory/CPU ceiling и владельца остановки. Безопасный результат сформулирован заранее: валидная модель загружается и выполняет known output, усечённая получает контролируемую parser error до выполнения, process не повреждает соседние файлы и baseline повторяется. Между A, B и A2 не меняют одновременно версию, сеть, права, proxy, database role и соседние packages. Реальные пользовательские данные, чужие сервисы, production credentials и активные exploit payload не применяют. Если тест подтверждает только отказ, но не его причину, это unknown, а не passed. Если исправление доступно, сначала ставят его; материал не предлагает воспроизводить дефект на рабочей системе.
Матрица решения для ExecuTorch
Матрица содержит версию и artifact hash, применимость функции, baseline A, защитный исход B, повтор A2 и состояние после cleanup. passed-bounded-check допустим только когда одновременно верно: валидная модель загружается и выполняет known output, усечённая получает контролируемую parser error до выполнения, process не повреждает соседние файлы и baseline повторяется. Контролируемый отказ должен быть диагностируемым: validation error, policy reject или documented parser error. Общий 500, native crash, timeout, OOM, потеря readiness или пустой ответ не считаются защитой. Если одна колонка неизвестна, итог остаётся unknown. При mixed versions вывод делят по каждому процессу или image. Так можно отличить неполный rollout, несовместимость ветки и локальную регрессию от подтверждённой работы исправления, не обещая полной безопасности продукта.
Стоп-линия, возврат и передача ExecuTorch
Жёсткая стоп-линия: появился native crash, sanitizer alert, рост memory выше потолка, потребовалась неизвестная модель или тест на пользовательском устройстве. При первом совпадении опыт прекращают и выполняют возврат: закрыть process, удалить усечённую копию, восстановить проверенный artifact по hash и повторить одну inference на минимальной модели. Расширять входы, права, нагрузку или переносить тест в production до подтверждённого cleanup нельзя. Для владельца готовят минимальный пакет: версии runtime по платформам, binary/model hashes, backend, result двух загрузок, exit/sanitizer status, memory peak и повтор baseline. К нему прикладывают две прямые первичные ссылки, точное время, ожидаемый и фактический исходы, но не копируют advisory целиком. Секреты, персональные данные, полные журналы и содержимое рабочих объектов исключают. Финальный статус выбирают из not-applicable, update-required, patched-unverified, passed-bounded-check, failed-safe-check или unknown. Он описывает только эту узкую границу и не гарантирует отсутствие других дефектов.
Материал подготовлен редакцией VOne с помощью ИИ по открытым официальным и первичным источникам; факты, даты, версии и ссылки перепроверены. Реальные пользовательские данные, активные опасные payload и вымышленные результаты тестов не использовались.
Источники и проверка
- Meta Security advisory CVE-2025-30402 для ExecuTorch проверено 2026-08-30
- Исправляющий commit ExecuTorch 93b1a0c проверено 2026-08-30
Информация актуальна на дату публикации. Правила сервисов, приложений и сетей могут меняться.