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

SiYuan: snippets только из разрешённого каталога

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

Защитная диагностика SiYuan snippets static handler по ghsa-275h-v5h9-vr82: применимость, обратимый локальный control, измеримый verdict, stop-rule и пакет данных для владельца системы.

Короткий ответ — SiYuan: snippets только из разрешённого каталога

Задача страницы — проверить, что SiYuan serveSnippets читает статический файл только внутри snippets root. Advisory ghsa-275h-v5h9-vr82 служит свежим inventory-сигналом, но не доказывает состояние конкретной установки. Зафиксируйте фактически загруженный SiYuan snippets static handler, lock-файл или image digest и границу «github.com/siyuan-note/siyuan/kernel: introduced 0, fixed 0.0.0-20260704035520-68cc0f537dfa». Пользовательская боль здесь одна: URL path может привести к выдаче config или database файла вне каталога snippets. Итогом должен стать артефакт «raw path / decoded path / realpath / containment / read calls», чтобы другой инженер повторил решение без production-данных, внешнего воздействия и догадок.

Граница применимости для SiYuan snippets static handler

Разберите путь решения как «request path → decode → normalize → realpath → snippets-root containment → read». Для каждого перехода укажите владельца значения, тип входа, допустимое состояние и запрещённый side effect. Проверяемая инварианта: resolved target является descendant snippets root и deny происходит до open. NOT_APPLICABLE возможен только при доказанном отсутствии компонента или недостижимости указанной ветки; неизвестный digest, effective config или способ вызова дают UNKNOWN. Номер исправленного релиза без runtime readback не превращает результат в PASS.

Почему проверки версии недостаточно

Lock-файл, SBOM, container digest и package manager отвечают на разные вопросы. Сведите их в одну строку provenance и сопоставьте с advisory-границей «github.com/siyuan-note/siyuan/kernel: introduced 0, fixed 0.0.0-20260704035520-68cc0f537dfa». Затем докажите effective путь «request path → decode → normalize → realpath → snippets-root containment → read»: vendored копия, optional dependency, отдельный worker или отключённый adapter могут изменить применимость. Фиксируйте AFFECTED_PATH, PATCHED_PATH, COMPONENT_ABSENT либо PROVENANCE_UNKNOWN. Отсутствие инцидента и успешный health-check не подтверждают инварианту «resolved target является descendant snippets root и deny происходит до open».

Безопасный обратимый локальный control

Работайте только в disposable fixture: создать временный snippets root и соседний empty marker, использовать local handler и read spy. Сеть, subprocess, production database, реальные bucket, очереди, почту, токены и пользовательские файлы замените fake, spy или in-memory адаптерами. До запуска сохраните baseline hash, нулевые counters, лимит времени, памяти и числа операций. Используйте короткие синтетические маркеры без эксплуатационного payload. После каждой строки восстанавливайте fixture и убеждайтесь, что benign control начинается с того же baseline.

Матрица наблюдений

Сначала benign control доказывает достижение целевой функции. Затем boundary-case меняет ровно один признак, связанный с болью «URL path может привести к выдаче config или database файла вне каталога snippets». Записывайте «raw path / decoded path / realpath / containment / read calls», reason code, duration, counters до и после и digest fixture. Основная инварианта остаётся: resolved target является descendant snippets root и deny происходит до open. Если control не достигает ветки, recorder пропустил side effect или точка наблюдения двусмысленна, ставьте UNKNOWN. Нельзя усиливать вход ради определённого ответа: безопасная воспроизводимость важнее красивого PASS.

PASS, FAIL, UNKNOWN и критерий остановки

PASS требует подтверждённого provenance, успешного benign control, соблюдения инварианты «resolved target является descendant snippets root и deny происходит до open», нулевых запрещённых side effects и cleanup proof. FAIL — тот же подтверждённый путь плюс наблюдаемое нарушение policy. UNKNOWN означает отсутствие digest, effective config, recorder или возможности восстановить fixture. Немедленная красная линия: внешний target достиг read или response получил bytes marker. При ней прекратите тест, сохраните только минимальные метаданные и не повторяйте boundary-case на большем масштабе.

Восстановление и regression check

Удалите disposable state, верните adapters к baseline и сравните hashes, counters, память и открытые ресурсы. Неожиданный I/O, сетевой вызов, process, новая строка БД или оставшийся файл блокирует PASS. После обновления повторите тот же fixture без изменения входов и лимитов; сравните «raw path / decoded path / realpath / containment / read calls». Так видно, изменился ли защищаемый переход «request path → decode → normalize → realpath → snippets-root containment → read», а не окружение, объём данных или наблюдатель.

Почему intent самостоятельный и что передать владельцу

Уникальная ценность — отдельная статическая поверхность /snippets/ и доказательство deny-before-open. Поэтому материал отвечает на самостоятельный запрос «проверить, что SiYuan serveSnippets читает статический файл только внутри snippets root» и не является механической заменой бренда, ОС или устройства. Передайте владельцу ghsa-275h-v5h9-vr82, component digest, effective version/config, границу «github.com/siyuan-note/siyuan/kernel: introduced 0, fixed 0.0.0-20260704035520-68cc0f537dfa», схему «request path → decode → normalize → realpath → snippets-root containment → read», control/boundary rows, артефакт «raw path / decoded path / realpath / containment / read calls», verdict, stop reason и cleanup proof. Advisory опубликована 2026-09-02 и обновлена 2026-09-02; даты подтверждают свежесть источника, но не популярность запроса, факт эксплуатации или применимость к конкретному deployment.

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

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

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

Ответы

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

Ваш ответ

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

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

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