Защитная проверка github.com/moby/buildkit по GHSA-72x6-4j93-7w86: версия, изолированный fixture, PASS/FAIL/Unknown, stop-rule и минимальный пакет доказательств.
Короткий ответ для github.com/moby/buildkit
Проблема этой карточки конкретна: неограниченный разбор групп может занять runtime до отказа обслуживания. Рекомендуемый путь: Сначала докажите фактическую версию github.com/moby/buildkit. Затем выполните только изолированную проверку: в disposable container подать ступенчатые синтетические group-файлы до заранее заданного потолка и измерить время/память. Итог фиксируйте как PASS, FAIL или Unknown; production и реальные данные не используйте. Advisory GHSA-72x6-4j93-7w86 описывает механизм «BuildKit has a possible runtime DoS via unbounded group parsing» и указывает границу «go/github.com/moby/buildkit: <= 0.31.0; первая исправленная версия: 0.31.1». Это не означает, что конкретная установка уязвима или что инцидент уже произошёл. Сначала подтвердите resolved dependency, digest артефакта, ветку и реально включённую функцию. Если компонент виден только в исходном manifest, но отсутствует в runtime/SBOM, пометьте состояние как not_present, а не как PASS.
Inventory и применимость: group_budget
Для buildkit-group-parser-resource-ceiling сохраните package manager, lock-файл, runtime-версию и способ доставки компонента. Отдельно запишите advisory boundary: go/github.com/moby/buildkit: <= 0.31.0; первая исправленная версия: 0.31.1. Возможные решения: not_present, outside_range, affected_candidate, patched_or_backported и Unknown. Backport считается доказанным только при ссылке на commit и повторяемом regression test. Название контейнера, один HTTP 200 и отсутствие жалоб не доказывают исправление. Если невозможно связать бинарник с source revision, остановитесь на Unknown и передайте вопрос владельцу сборки.
Безопасный стенд для проверки group_budget
Проверка строится вокруг одного наблюдаемого действия: в disposable container подать ступенчатые синтетические group-файлы до заранее заданного потолка и измерить время/память. Используйте disposable окружение, синтетические данные, отключённую внешнюю сеть и заранее заданные CPU/RSS/time limits. Сначала выполните benign control, который подтверждает достижимость нужного пути. Затем один boundary-case без опубликованного exploit payload. Не копируйте production-конфигурацию, токены, имена пользователей, адреса узлов или реальные документы. После каждого случая прочитайте состояние обратно и удалите временные объекты.
Как читать результат: таблица строк–байты–wall time–RSS–готовность следующей сборки
Главный артефакт этой статьи: таблица строк–байты–wall time–RSS–готовность следующей сборки. PASS допустим, когда positive control сработал, boundary-case был безопасно отклонён и состояние осталось неизменным. FAIL требует одновременно работающего control и наблюдаемого нарушения заявленной границы. Unknown обязателен, если версия не доказана, harness не дошёл до нужной ветки, монитор не видел side effects либо ограничитель завершил тест раньше результата. Такой формат отделяет реальное наблюдение по group_budget от предположения по названию CVE.
Обновление без потери причинности
Если найден affected_candidate, переходите на поддерживаемую исправленную ветку, указанную upstream: 0.31.1. Сохраните исходный fixture и повторите его до и после изменения. Не меняйте одновременно dependency, права, proxy, storage и формат данных: тогда нельзя понять, что исправило verdict. Stop-rule для этой карточки: превышен локальный budget, завис watchdog или следующая чистая сборка не стартует. Немедленно завершайте проверку также при появлении персональных данных, внешнего трафика, записи вне temp или реальных секретов. Защитный фильтр на периметре может снизить риск, но не заменяет исправление компонента.
Минимальный пакет доказательств по GHSA-72x6-4j93-7w86
Передайте владельцу: GHSA-72x6-4j93-7w86, go/github.com/moby/buildkit: <= 0.31.0; первая исправленная версия: 0.31.1, artifact digest, feature state, hash fixture, параметры лимитов, результат benign control, строку из «таблица строк–байты–wall time–RSS–готовность следующей сборки», итог PASS/FAIL/Unknown и точную причину Unknown. Приложите GitHub Advisory Database и прямой upstream source, но не копируйте большие фрагменты чужого текста. Отдельно укажите, что проверялась боль «неограниченный разбор групп может занять runtime до отказа обслуживания», а не весь продукт. Для повторяемости используйте ключи `buildkit-group-parser-resource-ceiling-inventory`, `buildkit-group-parser-resource-ceiling-control`, `buildkit-group-parser-resource-ceiling-boundary`, `buildkit-group-parser-resource-ceiling-readback`, `buildkit-group-parser-resource-ceiling-sideeffects`, `buildkit-group-parser-resource-ceiling-verdict`, `buildkit-group-parser-resource-ceiling-rollback` и `buildkit-group-parser-resource-ceiling-timestamp`. Тогда следующий специалист проверит тот же механизм без доступа к production.
Материал подготовлен редакцией VOne с помощью ИИ; версии, источники, безопасный fixture, stop-rule, privacy-ограничения и отсутствие рекламных обещаний перепроверены человеком.
Источники и проверка
- GitHub Advisory Database GHSA-72x6-4j93-7w86 проверено 2026-09-01
- Primary upstream source for github.com/moby/buildkit проверено 2026-09-01
Информация актуальна на дату публикации. Правила сервисов, приложений и сетей могут меняться.