Безопасная проверка Gogs Smart HTTP по ghsa-wmfg-5p4h-5fw3: применимость, обратимый опыт для границы «authorization action derived from executed RPC endpoint, not client service query», матрица результата и stop-rule без production-данных.
Отделите advisory от установки Gogs Smart HTTP
Сначала отделите факт advisory от гипотезы о своей установке Gogs Smart HTTP. Зафиксируйте package source, рабочая сборка version, build digest, feature/config reachability и роль, которая достигает ветви. GitHub Reviewed Advisory сообщает «Gogs allows users to write to readonly repositories using receive-pack + service=git-upload-pack confusion», даты 2026-06-23/2026-08-13 и границы «gogs.io/gogs < 0.14.3; first patched 0.14.3». Это не подтверждает affected code в конкретной сборке: fork и vendor backport требуют commit provenance. Пока provenance или reachability неизвестны, статус только unknown, без вывода об эксплуатации, популярности или ущербе.
Назовите отдельный защитный invariant
Опишите один узкий invariant: authorization action derived from executed RPC endpoint, not client service query. Отдельная боль пользователя: read-only collaborator labels request as upload-pack while route executes receive-pack write. Укажите субъект, объект, trust boundary, решение policy и самый ранний чувствительный side effect. Pass-критерий задайте заранее: receive-pack always requires write; query mismatch is rejected; read fetch retains read policy. Он отличается от общего «ошибки нет»: защита обязана сработать до read, send, execute, write, cache commit, credential issue или process exit. Решающий артефакт — rpc-path / query-service / required-action / actor-access / runner-calls; в нём нет имён, IP, содержимого файлов и персональных данных.
Проведите дифференциальный обратимый опыт
Создайте обратимый стенд: handler тестовая заготовкаs for upload-pack/receive-pack and conflicting service query with fake git runner. Затем enumerate route/query combinations and record selected permission before runner call. Все значения синтетические, сеть отключена либо loopback-only, filesystem ограничен mkdtemp, persistence — in-memory или rollback transaction. Добавьте positive control и boundary case, одинаковый timeout и deterministic ordering. Заранее зафиксируйте input digest и expected row; после — result class, counters, final-state digest и cleanup proof. Нагрузочный или эксплуатационный вариант не нужен и запрещён.
Прочитайте матрицу до side effect
Заполните матрицу «rpc-path / query-service / required-action / actor-access / runner-calls» строка за строкой. Сопоставьте observed с правилом «receive-pack always requires write; query mismatch is rejected; read fetch retains read policy», в отдельном поле отмечая stage решения и факт любого побочного эффекта. Positive control обязан пройти тот же код: иначе deny может означать сломанный стенд. Для гонки или cache/state темы изменяйте только детерминированный interleaving и повторяйте малое число раз. Green возможен, когда безопасный сценарий работает, пограничный отклонён раньше действия, а state digest соответствует ожидаемому.
Подтвердите механизм исправления
Проверьте patch provenance по смыслу: diff гарантированно должен реализовать «authorization action derived from executed RPC endpoint, not client service query», а не просто изменить номер релиза. На одном тестовая заготовка сравните текущую и candidate build и зафиксируйте «rpc-path / query-service / required-action / actor-access / runner-calls». Диапазон «gogs.io/gogs < 0.14.3; first patched 0.14.3» используйте как фильтр, не как доказательство. Если update требует rollout, эта статья не разрешает production change: нужен отдельный контракт с backup, canary, readiness и rollback. Не обещайте, что один фикс закрывает весь класс риска или даёт поисковый исход.
Примените stop-rule и privacy boundary
Stop-rule: остановить опыт до git process, repository mutation or network listener. Также примените stop-rule к опыт при внешнем адресе, real credential, privilege prompt, данных вне тестовая заготовка, необратимой записи, росте ресурсов, отсутствии normal control или cleanup. Статус будет blocked, а не «почти прошёл». Для владельца компонента передайте ghsa-wmfg-5p4h-5fw3, Gogs Smart HTTP, version/build provenance, «gogs.io/gogs < 0.14.3; first patched 0.14.3», sanitized «rpc-path / query-service / required-action / actor-access / runner-calls», expected/observed, stop reason и прямые source URLs. Не публикуйте payload, чужие логи, конфиги и приватные ссылки.
Завершите деревом решения
Дерево решения для Gogs Smart HTTP: proven patched/non-affected build — not-applicable; недостижимая по документированной конфигурации ветвь — not-reachable; candidate build выполняет «receive-pack always requires write; query mismatch is rejected; read fetch retains read policy» — ready-for-reviewed-update; наблюдается «read-only collaborator labels request as upload-pack while route executes receive-pack write» — fail и эскалация владельцу. Иначе unknown. К каждому листу приложите один факт из «rpc-path / query-service / required-action / actor-access / runner-calls» и criterion «остановить опыт до git process, repository mutation or network listener». Такой ответ самостоятельный: он решает конкретный intent через reversible test, matrix, red flags и минимальный support packet, а не размножает страницу заменой бренда.
Материал подготовлен редакцией VOne с помощью ИИ; даты, диапазоны, прямые ссылки, безопасный опыт, privacy-ограничения и отсутствие рекламных обещаний затем перепроверены по первичным источникам.
Источники и проверка
- GitHub Reviewed Advisory ghsa-wmfg-5p4h-5fw3 проверено 2026-08-31
- Upstream-репозиторий Gogs Smart HTTP проверено 2026-08-31
Информация актуальна на дату публикации. Правила сервисов, приложений и сетей могут меняться.