Безопасная проверка OpenFGA iterator caches по ghsa-8396-jffm-qx4w: применимость, обратимый fixture, request-tuple / serialized-fields / cache-key-digest / collision / cached-verdict, PASS и stop-rule без production-данных.
Разберите симптом OpenFGA iterator caches
Отдельная пользовательская боль: два разных authorization check tuple получают одинаковый cache key и переиспользуют чужой verdict. Reviewed advisory описывает «OpenFGA has cache-key delimiter injection in shared-iterator and v2 iterator that caches enables intra-store authorization-decision poisoning»; практический механизм: Строковая склейка с delimiter не является injective encoding, если значения могут содержать delimiter. Нужны length-prefix/structured fields плюс store/model namespace. Проверяем invariant «каждый различный authorization tuple отображается в различный cache key с полным context», а не общий класс проблем. Запись ghsa-8396-jffm-qx4w опубликована 2026-06-11, обновлена 2026-06-11; ecosystem boundary: «go/github.com/openfga/openfga < 1.16.0; first patched 1.16.0». Это не доказывает affected code в fork, факт эксплуатации, популярность или поисковый спрос.
Сопоставьте runtime и безопасный control
Зафиксируйте source package, runtime version, build digest, commit provenance, feature/config state и роль, достигающую ветви. Нормальный control: одинаковый tuple даёт стабильный key и cache hit. Отдельно укажите самый ранний read/write/send/execute/cache/credential side effect. Если provenance или reachability неизвестна, статус unknown. Версионный диапазон «go/github.com/openfga/openfga < 1.16.0; first patched 1.16.0» — фильтр; backport подтверждается diff и поведением, а не предположением.
Запустите обратимый fixture
Лабораторный опыт: Key-builder property test с synthetic store/model/object/relation/user values, включая delimiter-like chars; cache — in-memory map. Все идентификаторы и данные синтетические; network отключён или заменён recorder, filesystem ограничен mkdtemp, persistence — memory adapter/rollback. До запуска сохраните input digest, ожидаемое правило «различные tuples не collide, verdict не переносится между ними» и нулевые counters. После — строку «request-tuple / serialized-fields / cache-key-digest / collision / cached-verdict», final-state digest и cleanup proof. Реальный payload, credential, нагрузка или production mutation запрещены.
Прочитайте матрицу request-tuple / serialized-fields / cache-key-digest / collision / cached-verdict
Убедитесь, что control прошёл именно нужную ветвь, затем найдите stage policy и любой чувствительный action. PASS возможен только если различные tuples не collide, verdict не переносится между ними. Один status code, отсутствие exception или запись в лог не доказывают защиту. Для concurrency/state boundary используйте fixed barriers и малый детерминированный повтор. Любой неожиданный side effect переводит результат в fail/unknown до объяснения и полного cleanup.
Свяжите patch, stop-rule и решение
Diff исправления должен реализовать смысл «каждый различный authorization tuple отображается в различный cache key с полным context» до side effect. Красные флаги: fail-open, policy после action, несовпадение requested/effective target, неполный transport/path coverage или отсутствующий negative control. Stop-rule: не использовать production authorization data и не выполнять access decision. Также остановитесь при privilege prompt, реальных данных, необратимой записи, росте ресурсов или невозможности cleanup. Дерево: proven patched — not-applicable; недостижимо — not-reachable; PASS — ready-for-reviewed-update; наблюдается «два разных authorization check tuple получают одинаковый cache key и переиспользуют чужой verdict» — fail; иначе unknown. В support packet включите ghsa-8396-jffm-qx4w, build provenance, «request-tuple / serialized-fields / cache-key-digest / collision / cached-verdict», expected/observed, stop reason и две source URL без секретов/персональных данных. Production rollout требует отдельного backup, canary, readiness и rollback.
Материал подготовлен редакцией VOne с помощью ИИ; даты, диапазоны, прямые источники, безопасный fixture, privacy-границы и отсутствие рекламных обещаний затем перепроверены.
Источники и проверка
- GitHub Reviewed Advisory ghsa-8396-jffm-qx4w проверено 2026-08-31
- Official/upstream source for OpenFGA iterator caches проверено 2026-08-31
Информация актуальна на дату публикации. Правила сервисов, приложений и сетей могут меняться.