Как безопасно проверить Singularity limit container paths: затронутые версии, обратимый тест, измеримые PASS/FAIL/Unknown и stop-rule по ghsa-wqcr-7rf3-f64m без production-данных.
Определите границу проблемы в Singularity limit container paths
Отдельная пользовательская боль: строковый префикс разрешённого каталога также совпадает с соседним каталогом похожего имени. Проверяемое правило: «разрешение строится по каноническим компонентам пути, а не по общему текстовому префиксу». Не переносите severity записи на любую установку: сначала нужны точный artifact, runtime-mode и достижимость затронутого пути. Reviewed advisory ghsa-wqcr-7rf3-f64m опубликована 2026-06-04, обновлена 2026-06-04; её summary — «Singluarity: Incorrect path matching for 'limit container paths' directive». Это подтверждает технический сигнал, но не эксплуатацию конкретной системы, не популярность запроса и не будущую индексацию страницы.
Сверьте версию, конфигурацию и достижимость
Зафиксируйте resolved dependency, provenance сборки и boundary «github.com/sylabs/singularity/v4 < 4.4.2; first patched 4.4.2 | github.com/sylabs/singularity <= 3.1.1; fixed version не указана в reviewed record». Затем разнесите состояния: компонента нет; версия вне диапазона; функция выключена; путь недостижим; исправление backported; требуется fixture. Рабочая матрица именно для этой проверки: configured root / resolved path / component boundary / symlink state / decision. Banner, имя transitive package или общий CVE-score сами по себе не доказывают применимость. Если version scheme форка не сопоставима с upstream либо происхождение сборки неизвестно, результат остаётся Unknown и запрещает категоричный вывод.
Выполните обратимый изолированный fixture
Безопасная процедура: временное дерево создаёт safe, safe-child и safe-but-other; policy evaluator вызывается без setuid-запуска контейнера. До запуска запишите ожидаемый invariant, размер тестовых данных, допустимые side effects и способ очистки. Добавьте positive control, который проходит нормальный путь компонента, и negative case, нарушающий только одну границу. Никаких production identifiers, секретов, внешних целей или персональных данных в fixture быть не должно. После каждого case удалите временное состояние и сравните counters: тест полезен только когда control доказывает исправность самого harness.
Примите решение по измеримым полям
Заполняйте артефакт без сырых логов: configured root / resolved path / component boundary / symlink state / decision. PASS: safe и его настоящий потомок разрешены, соседний каталог и symlink-escape отклонены. FAIL фиксируйте только если forbidden effect наблюдается в изоляции, версии и runtime-mode совпали, а оба controls дают ожидаемые результаты. Иначе используйте Inconclusive. Для повторяемости сохраните dependency resolution, hash fixture, имя теста, лимиты времени и памяти, а также итог PASS/FAIL/Unknown. Такой пакет помогает maintainer воспроизвести границу без раскрытия токенов, адресов и пользовательских данных.
Обновите компонент и соблюдайте stop-rule
Предпочтительное действие — использовать исправленную upstream-ветку, затем повторить тот же fixture и штатный control. Временное ограничение годится лишь когда разрывает описанный механизм, имеет владельца, срок действия и проверяемый rollback. Stop-rule: не включать setuid mode и не запускать недоверенный image во время проверки. В обращение к maintainer включите build/provenance, feature state, обезличенную матрицу, control result и прямые ссылки на reviewed record и upstream; не добавляйте эксплуатационные инструкции или данные реальной среды.
Соберите минимальный пакет по сценарию singularity-container-path-boundary
Для этой конкретной проверки зафиксируйте не общий отчёт о безопасности, а узкую причинную цепочку. Наблюдаемая боль: строковый префикс разрешённого каталога также совпадает с соседним каталогом похожего имени. Ожидаемая защитная граница: разрешение строится по каноническим компонентам пути, а не по общему текстовому префиксу. Тестовая операция: временное дерево создаёт safe, safe-child и safe-but-other; policy evaluator вызывается без setuid-запуска контейнера. Поля доказательства перечисляйте в заданном порядке — configured root / resolved path / component boundary / symlink state / decision. Критерий приёмки сформулирован заранее: safe и его настоящий потомок разрешены, соседний каталог и symlink-escape отклонены. Если хотя бы один обязательный field отсутствует, итог нельзя повышать из Unknown в PASS или FAIL. Отдельно запишите, почему штатный control относится к тому же parser, cache, policy или protocol path, а не к соседней функции. Это предотвращает ложный вывод по внешне похожему симптому. После удаления temp-state повторите один малый control: результат должен быть детерминированным и не оставлять фоновых задач, файлов или сетевых обращений. Граница остановки остаётся обязательной: не включать setuid mode и не запускать недоверенный image во время проверки.
Проверьте независимость вывода для Singularity limit container paths
Рецензент должен суметь ответить на пять вопросов именно об этом механизме. Первое: каким наблюдением доказано «строковый префикс разрешённого каталога также совпадает с соседним каталогом похожего имени», а не соседняя неисправность. Второе: где в resolved build проходит граница «разрешение строится по каноническим компонентам пути, а не по общему текстовому префиксу». Третье: почему операция «временное дерево создаёт safe, safe-child и safe-but-other; policy evaluator вызывается без setuid-запуска контейнера» обратима и не затрагивает внешнюю систему. Четвёртое: какие из полей «configured root / resolved path / component boundary / symlink state / decision» получены измерением, а какие заранее заданы конфигурацией. Пятое: почему критерий «safe и его настоящий потомок разрешены, соседний каталог и symlink-escape отклонены» одновременно проверяет отрицательный случай и штатный control. Сопоставьте ответы с исходной формулировкой advisory «Singluarity: Incorrect path matching for 'limit container paths' directive» и boundary «github.com/sylabs/singularity/v4 < 4.4.2; first patched 4.4.2 | github.com/sylabs/singularity <= 3.1.1; fixed version не указана в reviewed record», не расширяя их смысл. Если источник говорит только о затронутой версии, не приписывайте ему локальную эксплуатацию; если fixture показывает ошибку, не называйте её массовой. Для этого сценария допустимы только PASS, FAIL или Unknown с датой, build provenance и hash теста. Любое противоречие возвращает карточку на проверку, а правило «не включать setuid mode и не запускать недоверенный image во время проверки» прекращает эксперимент до появления безопасной среды.
Материал подготовлен редакцией VOne с помощью ИИ; даты, диапазоны, прямые источники, безопасный fixture, privacy-границы и отсутствие рекламных обещаний затем перепроверены.
Источники и проверка
- GitHub Reviewed Advisory ghsa-wqcr-7rf3-f64m проверено 2026-08-31
- Прямой upstream-источник для Singularity limit container paths проверено 2026-08-31
Информация актуальна на дату публикации. Правила сервисов, приложений и сетей могут меняться.