Защитная проверка zaino-state по GHSA-3whf-vgf2-9w6g: версия, изолированный fixture, PASS/FAIL/Unknown, stop-rule и минимальный пакет доказательств.
Короткий ответ для zaino-state
Проблема этой карточки конкретна: граф non-finalized state может зациклить обход или уйти за допустимую глубину. Рекомендуемый путь: Сначала докажите фактическую версию zaino-state. Затем выполните только изолированную проверку: in-memory граф содержит обычную цепочку, короткий цикл и цепь depth+1; измеряется только termination и выбранный verdict. Итог фиксируйте как PASS, FAIL или Unknown; production и реальные данные не используйте. Advisory GHSA-3whf-vgf2-9w6g описывает механизм «zaino-state has a Non-Finalized State Reorg — No Cycle Detection or Depth Limit» и указывает границу «rust/zaino-state: < 0.4.1; первая исправленная версия: 0.4.1». Это не означает, что конкретная установка уязвима или что инцидент уже произошёл. Сначала подтвердите resolved dependency, digest артефакта, ветку и реально включённую функцию. Если компонент виден только в исходном manifest, но отсутствует в runtime/SBOM, пометьте состояние как not_present, а не как PASS.
Inventory и применимость: graph_cycle
Для zaino-reorg-cycle-depth-termination сохраните package manager, lock-файл, runtime-версию и способ доставки компонента. Отдельно запишите advisory boundary: rust/zaino-state: < 0.4.1; первая исправленная версия: 0.4.1. Возможные решения: not_present, outside_range, affected_candidate, patched_or_backported и Unknown. Backport считается доказанным только при ссылке на commit и повторяемом regression test. Название контейнера, один HTTP 200 и отсутствие жалоб не доказывают исправление. Если невозможно связать бинарник с source revision, остановитесь на Unknown и передайте вопрос владельцу сборки.
Безопасный стенд для проверки graph_cycle
Проверка строится вокруг одного наблюдаемого действия: in-memory граф содержит обычную цепочку, короткий цикл и цепь depth+1; измеряется только termination и выбранный verdict. Используйте disposable окружение, синтетические данные, отключённую внешнюю сеть и заранее заданные CPU/RSS/time limits. Сначала выполните benign control, который подтверждает достижимость нужного пути. Затем один boundary-case без опубликованного exploit payload. Не копируйте production-конфигурацию, токены, имена пользователей, адреса узлов или реальные документы. После каждого случая прочитайте состояние обратно и удалите временные объекты.
Как читать результат: матрица graph shape–visited count–depth–time–verdict
Главный артефакт этой статьи: матрица graph shape–visited count–depth–time–verdict. PASS допустим, когда positive control сработал, boundary-case был безопасно отклонён и состояние осталось неизменным. FAIL требует одновременно работающего control и наблюдаемого нарушения заявленной границы. Unknown обязателен, если версия не доказана, harness не дошёл до нужной ветки, монитор не видел side effects либо ограничитель завершил тест раньше результата. Такой формат отделяет реальное наблюдение по graph_cycle от предположения по названию CVE.
Обновление без потери причинности
Если найден affected_candidate, переходите на поддерживаемую исправленную ветку, указанную upstream: 0.4.1. Сохраните исходный fixture и повторите его до и после изменения. Не меняйте одновременно dependency, права, proxy, storage и формат данных: тогда нельзя понять, что исправило verdict. Stop-rule для этой карточки: обход не завершился до deadline, повторно посетил узел без ошибки или изменил persistent state. Немедленно завершайте проверку также при появлении персональных данных, внешнего трафика, записи вне temp или реальных секретов. Защитный фильтр на периметре может снизить риск, но не заменяет исправление компонента.
Минимальный пакет доказательств по GHSA-3whf-vgf2-9w6g
Передайте владельцу: GHSA-3whf-vgf2-9w6g, rust/zaino-state: < 0.4.1; первая исправленная версия: 0.4.1, artifact digest, feature state, hash fixture, параметры лимитов, результат benign control, строку из «матрица graph shape–visited count–depth–time–verdict», итог PASS/FAIL/Unknown и точную причину Unknown. Приложите GitHub Advisory Database и прямой upstream source, но не копируйте большие фрагменты чужого текста. Отдельно укажите, что проверялась боль «граф non-finalized state может зациклить обход или уйти за допустимую глубину», а не весь продукт. Для повторяемости используйте ключи `zaino-reorg-cycle-depth-termination-inventory`, `zaino-reorg-cycle-depth-termination-control`, `zaino-reorg-cycle-depth-termination-boundary`, `zaino-reorg-cycle-depth-termination-readback`, `zaino-reorg-cycle-depth-termination-sideeffects`, `zaino-reorg-cycle-depth-termination-verdict`, `zaino-reorg-cycle-depth-termination-rollback` и `zaino-reorg-cycle-depth-termination-timestamp`. Тогда следующий специалист проверит тот же механизм без доступа к production.
Материал подготовлен редакцией VOne с помощью ИИ; версии, источники, безопасный fixture, stop-rule, privacy-ограничения и отсутствие рекламных обещаний перепроверены человеком.
Источники и проверка
- GitHub Advisory Database GHSA-3whf-vgf2-9w6g проверено 2026-09-01
- Primary upstream source for zaino-state проверено 2026-09-01
Информация актуальна на дату публикации. Правила сервисов, приложений и сетей могут меняться.