К обсуждениям

Gitea template repository: запрет symlink-выхода

Редакция VOne Технологии

Защитная проверка Gitea по GHSA-h697-89cp-24q8: runtime inventory, обратимый fixture, матрица PASS/FAIL/Unknown, stop-rule и минимальный пакет доказательств без production-данных.

Короткий ответ для Gitea

Начинайте с инварианта, а не с попытки воспроизвести опасный эффект. Для Gitea отдельная пользовательская боль такова: template processing может пройти через symlink или не-regular path за пределы подготовленного дерева. Рабочий защитный инвариант: каждый читаемый и создаваемый объект regular, а resolved path остаётся внутри template и destination roots. Advisory GHSA-h697-89cp-24q8 задаёт inventory-границу «code.gitea.io/gitea: < 1.25.5; исправлено в 1.25.5», но совпадение версии означает только candidate. Оно не доказывает включённую функцию, достижимый маршрут или наличие инцидента. Минимальный ответ должен сохранить строку наблюдения «entry type | lexical path | resolved path | allowed root | action | verdict» и завершиться по условию «объект вне корня прочитан/создан, встретилась неучтённая ссылка или sandbox покинут». Такой формат не смешивает диагностику с эксплуатацией и позволяет повторить проверку после обновления.

Узкая граница темы: генерация репозитория из template repository

Граница именно этой страницы — «генерация репозитория из template repository», а наблюдаемая проблема — «template processing может пройти через symlink или не-regular path за пределы подготовленного дерева». Не подменяйте её общим аудитом Gitea и не переносите вывод на соседние функции. Сначала докажите условие «каждый читаемый и создаваемый объект regular, а resolved path остаётся внутри template и destination roots» на контрольном входе, затем повторите с единственным изменённым параметром из fixture «временный template с обычным файлом и безвредной symlink-ловушкой на соседний пустой каталог». Доказательство пригодно для ревью только тогда, когда в одной строке видны «entry type | lexical path | resolved path | allowed root | action | verdict». Отдельно пометьте, какой столбец получен из runtime, какой — из configuration snapshot, а какой является выводом редактора. Условие остановки сформулировано предметно: объект вне корня прочитан/создан, встретилась неучтённая ссылка или sandbox покинут. Если оно сработало, verdict остаётся Unknown или FAIL по фактически измеренной границе; нельзя расширять его до утверждения о всём продукте. После исправления тот же кейс должен подтвердить, что каждый читаемый и создаваемый объект regular, а resolved path остаётся внутри template и destination roots. Это и есть самостоятельная практическая ценность материала, отличающая его от соседних advisory.

Паспорт проверочного кейса GHSA-h697-89cp-24q8

Паспорт кейса GHSA-h697-89cp-24q8. Объект проверки: генерация репозитория из template repository. Нежелательное состояние описывается конкретно: template processing может пройти через symlink или не-regular path за пределы подготовленного дерева. Ожидаемое безопасное состояние: каждый читаемый и создаваемый объект regular, а resolved path остаётся внутри template и destination roots. Контрольная лаборатория: временный template с обычным файлом и безвредной symlink-ловушкой на соседний пустой каталог. Единица доказательства не является скриншотом или общим health-check; это строка «entry type | lexical path | resolved path | allowed root | action | verdict». Красная линия эксперимента: объект вне корня прочитан/создан, встретилась неучтённая ссылка или sandbox покинут. В отчёте эти пять формулировок оставляют без расширительных синонимов, чтобы следующий инженер мог сопоставить regression result с тем же объектом. Если меняется генерация репозитория из template repository, создаётся новый кейс, а не дописывается вывод сюда. Если меняется только версия Gitea, повторяют этот паспорт и прикладывают новый digest. Тем самым GHSA-h697-89cp-24q8 остаётся отдельным поисковым ответом на боль «template processing может пройти через symlink или не-regular path за пределы подготовленного дерева», а не механической страницей о продукте.

Ожидаемый before/after для GHSA-h697-89cp-24q8

Ожидаемый before/after для GHSA-h697-89cp-24q8 формулируется через один переход. До исправления проверяется только возможность нарушения «каждый читаемый и создаваемый объект regular, а resolved path остаётся внутри template и destination roots» на безопасном marker; после исправления тот же marker должен быть отклонён до изменения состояния. Для объекта «генерация репозитория из template repository» сохраните исходный hash fixture, результат «entry type | lexical path | resolved path | allowed root | action | verdict» и конечный hash. Расхождение разбирают по причине «template processing может пройти через symlink или не-regular path за пределы подготовленного дерева», не добавляя гипотезы о других подсистемах Gitea. Нулевой побочный вызов важнее текста ошибки. Если произошло «объект вне корня прочитан/создан, встретилась неучтённая ссылка или sandbox покинут», доказательство считается неполным и требует владельца стенда. Такой before/after позволяет повторно проверить именно генерация репозитория из template repository после официального обновления и не выдаёт общий security verdict для всей установки.

Inventory и достижимость: генерация репозитория из template repository

Зафиксируйте фактически загруженный артефакт, а не только декларацию зависимости: для генерация репозитория из template repository нужны resolved version, digest либо revision, способ установки и конфигурационный флаг. Сопоставьте эти данные с границей «code.gitea.io/gitea: < 1.25.5; исправлено в 1.25.5». Классифицируйте результат как absent, out_of_range, candidate или unknown. Absent требует доказательства, что компонент отсутствует в runtime; out_of_range — точной версии; candidate — одновременно версии и достижимости функции; unknown остаётся честным исходом при неполном provenance. Для Gitea дополнительно запишите owner проверки и момент снимка. Backport считается только при наличии commit и regression test, а дата контейнера, HTTP health или название образа сами по себе границу не закрывают.

Обратимый fixture для GHSA-h697-89cp-24q8

Используйте только обратимый стенд: временный template с обычным файлом и безвредной symlink-ловушкой на соседний пустой каталог. До запуска отключите реальные учётные данные и внешние назначения, назначьте отдельный temporary root либо in-memory store и включите счётчики побочных вызовов. Проверяйте непосредственно генерация репозитория из template repository; соседние функции не расширяйте в эту статью. Контрольный случай должен проходить, граничный — получать документированный отказ, а состояние после каждого шага возвращаться к исходному hash. Собирайте колонки «entry type | lexical path | resolved path | allowed root | action | verdict». Немедленно остановитесь, если объект вне корня прочитан/создан, встретилась неучтённая ссылка или sandbox покинут. Такой stop-rule важнее попытки получить зрелищный результат: он удерживает эксперимент в low-risk режиме и не переносит вредные данные в production.

Матрица PASS, FAIL, Unknown и N/A

Матрица решения должна различать как минимум четыре состояния. PASS: resolved-артефакт исправлен либо контроль на проверяемой границе отклоняет граничный input до side effect. FAIL: версия попадает в область advisory, путь достижим и измерение нарушает сформулированный инвариант. UNKNOWN: нет SBOM, runtime provenance, конфигурации или наблюдаемой точки; этот исход нельзя повышать до PASS. NOT_APPLICABLE: генерация репозитория из template repository доказанно не используется. Для темы «template processing может пройти через symlink или не-regular path за пределы подготовленного дерева» не объединяйте разные строки в один средний статус: version, reachability, policy decision и side-effect counter хранятся отдельно. После обновления повторите тот же fixture и сравните строки до/после; именно стабильный regression result, а не отсутствие жалоб, закрывает проверку.

Stop-rule, откат и пакет для поддержки

Пакет для владельца Gitea минимизируйте: version/digest, sanitized configuration fragment, точное имя входной точки, одна таблица «entry type | lexical path | resolved path | allowed root | action | verdict», monotonic timestamps и итог PASS/FAIL/Unknown. Не прикладывайте пароли, токены, адреса пользователей, реальные имена репозиториев, полный environment dump или сырые логи. Сначала применяют документированное обновление и проверяют штатные функции; ручные patch и расширение сетевых прав требуют отдельного change contract. Если сработало условие «объект вне корня прочитан/создан, встретилась неучтённая ссылка или sandbox покинут», эксперимент прекращают, сохраняют только обезличенные артефакты и передают вопрос product/security owner. Rollback должен возвращать fixture, а не откатывать production-данные. После исправления сохраните regression case с неопасным marker: он пригодится для последующих обновлений без повторения рискованного сценария.

Материал подготовлен редакцией VOne с помощью автоматизированного черновика; технические границы, даты, версии и ссылки вручную сверены по указанным первичным страницам. Текст не воспроизводит чужие публикации и не содержит эксплуатационных шагов.

Источники и проверка

Информация актуальна на дату публикации. Правила сервисов, приложений и сетей могут меняться.

Ответы

0 опубликовано
Ответов пока нет. Вы можете начать обсуждение.

Ваш ответ

Добавьте свой опыт или уточнение по теме.

Вы публикуете как Аноним Аватар отличает разговоры, но не раскрывает личные данные.

Ответ появится сразу. Не публикуйте личные данные, ключи и приватные ссылки.