Защитная диагностика Grav ZipArchiver::extract по ghsa-928x-9mpw-8h56: применимость, безопасный локальный control, измеримый verdict, stop-rule и минимальный пакет данных владельцу системы.
Короткий ответ — Grav ZipArchiver: бюджеты до распаковки архива
Задача страницы — проверить pre-extraction бюджеты Grav ZipArchiver для размера, file count и depth. Advisory ghsa-928x-9mpw-8h56 служит свежим inventory-сигналом, но не доказывает состояние конкретной установки. Сначала зафиксируйте фактически загруженный компонент Grav ZipArchiver::extract, lock-файл, image digest или сборочный provenance и границу «getgrav/grav: introduced 0, fixed 2.0.1». Пользовательская боль здесь одна: отдельный путь распаковки не ограничивает суммарный размер, число файлов и глубину вложенности до записи. Итогом должен стать артефакт «entries / declared bytes / depth / budget verdict / writes», чтобы другой инженер повторил решение без production-данных, внешнего воздействия и догадок.
Граница применимости: Grav ZipArchiver::extract
Разложите проверку на переходы «archive index → metadata scan → aggregate budgets → destination policy → extractor spy». Для каждого перехода укажите владельца значения, допустимое состояние и запрещённый side effect. Проверяемая инварианта: все три бюджета подтверждены до первой записи или рекурсивного открытия вложения. NOT_APPLICABLE допустим только при доказанном отсутствии Grav ZipArchiver::extract или недостижимости указанной ветки. Неизвестные effective version, runtime digest либо конфигурация дают UNKNOWN; номер релиза без runtime readback не даёт PASS.
Почему одной версии недостаточно
SBOM, package manager, container digest и реально импортированный модуль отвечают на разные вопросы. Сведите их в одну provenance-строку и сопоставьте с границей «getgrav/grav: introduced 0, fixed 2.0.1». Затем подтвердите effective путь «archive index → metadata scan → aggregate budgets → destination policy → extractor spy»: vendored копия, optional adapter, отдельный worker или старый runtime способны изменить применимость. Фиксируйте AFFECTED_PATH, PATCHED_PATH, COMPONENT_ABSENT либо PROVENANCE_UNKNOWN. Успешный health-check сам по себе не подтверждает правило «все три бюджета подтверждены до первой записи или рекурсивного открытия вложения».
Безопасный обратимый control
Работайте только в disposable fixture: собрать крошечные synthetic zip fixtures вокруг малых лимитов и извлекать только в temp-dir. Сеть, subprocess, production database, реальные аккаунты, bucket, очереди, письма, токены и пользовательские файлы замените fake, spy или in-memory адаптерами. Перед запуском сохраните baseline hash, нулевые counters, лимит времени, памяти и числа операций. Используйте короткие синтетические маркеры без эксплуатационного payload. После каждой строки возвращайте fixture к исходному состоянию.
Матрица наблюдений
Сначала benign control доказывает достижение целевой функции Grav ZipArchiver::extract. Затем boundary-case меняет ровно один признак, связанный с болью «отдельный путь распаковки не ограничивает суммарный размер, число файлов и глубину вложенности до записи». Для каждой строки записывайте «entries / declared bytes / depth / budget verdict / writes», reason code, duration, counters и digest fixture. Основная инварианта остаётся: все три бюджета подтверждены до первой записи или рекурсивного открытия вложения. Недостижимая ветка, пропущенный side effect или двусмысленная точка наблюдения означают UNKNOWN, а не удобный PASS.
PASS, FAIL, UNKNOWN и stop-rule
PASS требует подтверждённого provenance, успешного benign control, соблюдения инварианты «все три бюджета подтверждены до первой записи или рекурсивного открытия вложения», нулевых запрещённых side effects и cleanup proof. FAIL — тот же подтверждённый путь плюс измеримое нарушение policy. UNKNOWN означает отсутствие digest, effective config, recorder или возможности восстановить fixture. Немедленная красная линия: extractor spy записал файл до aggregate PASS либо любой counter превысил потолок. При ней прекратите тест, сохраните минимальные метаданные и не увеличивайте вход или нагрузку.
Восстановление и regression check
Удалите disposable state, верните adapters к baseline и сравните hashes, counters, память и открытые ресурсы. Неожиданный I/O, сетевой вызов, новый процесс, строка БД или оставшийся файл блокирует PASS. После обновления повторите тот же fixture без изменения входов и лимитов; сравните «entries / declared bytes / depth / budget verdict / writes». Так видно, изменился ли защищаемый переход «archive index → metadata scan → aggregate budgets → destination policy → extractor spy», а не окружение, объём данных или инструмент наблюдения.
Самостоятельная ценность и пакет владельцу
Проверяет конкретный ZipArchiver path и порядок preflight/write, не полагаясь на лимиты соседнего Installer::unZip. Поэтому материал отвечает на самостоятельный запрос «проверить pre-extraction бюджеты Grav ZipArchiver для размера, file count и depth» и не является механической заменой бренда, ОС или устройства. Передайте владельцу ghsa-928x-9mpw-8h56, component digest, effective version/config, границу «getgrav/grav: introduced 0, fixed 2.0.1», схему «archive index → metadata scan → aggregate budgets → destination policy → extractor spy», control/boundary rows, артефакт «entries / declared bytes / depth / budget verdict / writes», verdict, stop reason и cleanup proof. Advisory опубликована 2026-09-02 и обновлена 2026-09-02; это подтверждает свежесть источника, но не популярность запроса, эксплуатацию или применимость к конкретному deployment.
Материал подготовлен редакцией VOne с помощью автоматизированного черновика; даты, версии и ссылки сверены по GitHub Advisory Database и первичному upstream-материалу. Текст самостоятельный, не копирует источники, не содержит эксплуатационных последовательностей и предназначен для безопасной локальной проверки.
Источники и проверка
- GitHub Advisory Database — ghsa-928x-9mpw-8h56 проверено 2026-09-03
- Первичный upstream-материал — Grav ZipArchiver::extract проверено 2026-09-03
Информация актуальна на дату публикации. Правила сервисов, приложений и сетей могут меняться.