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

Yamcs: типизация аргументов instance template в YAML

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

Защитная диагностика Yamcs instance templates по GHSA-73mf-m39p-wpm9: version inventory, обратимый fixture, PASS/FAIL/Unknown, stop-rule и минимальный пакет доказательств без production-данных.

Короткий ответ: какая граница важна в Yamcs instance templates

Проверять нужно не продукт целиком, а конкретный инвариант: значение должно проходить schema/type validation и безопасную сериализацию как scalar до разбора итогового template. Пользовательская боль здесь одна — аргумент createInstance может изменить YAML-структуру, если вставляется как сырой фрагмент. Запись GHSA-73mf-m39p-wpm9 задаёт инвентарную отсечку «Yamcs Core: до 5.12.7 и 5.13.0–5.13.1; исправления: 5.12.8 и 5.13.2», но номер версии не является диагнозом. Наличие пакета означает только candidate: ещё нужно доказать runtime artifact, включённую функцию и достижимый путь. Отсутствие жалоб, зелёный health и название образа ничего не говорят об этой границе. Практический ответ строится вокруг отдельного наблюдения «argument class | parsed node type | schema valid | launcher calls | rendered keys | verdict» и прекращается по условию «marker создал новый YAML-node, launcher вызван или fixture содержит команду/production template». Это сохраняет тему узкой и не превращает её в повтор общего security-чеклиста.

Проверьте применимость до эксперимента

Найдите org.yamcs:yamcs-core в resolved lock, SBOM или фактически загруженном binary и свяжите результат с digest либо revision. Сопоставьте его с «Yamcs Core: до 5.12.7 и 5.13.0–5.13.1; исправления: 5.12.8 и 5.13.2». Получаются четыре честных исхода: absent — компонента в runtime нет; out_of_range — доказанная версия не входит в указанную область; candidate — область совпала и функция доступна; unknown — provenance или reachability не подтверждены. Для backport отдельно приложите commit и regression test. Не повышайте unknown до pass по дате сборки, vendor banner или одному ответу HTTP.

Безопасное наблюдение для GHSA-73mf-m39p-wpm9

Используйте только обратимый сценарий: локальный renderer сравнивает обычную строку и структурный marker; YAML разбирается в памяти, а launcher заменён счётчиком. Сначала выполните штатный control, иначе отказ boundary-case может означать сломанный стенд. Работайте в disposable-процессе или namespace без production snapshot, учётных данных, персональных объектов и открытого egress. До старта зафиксируйте разрешённые файлы, network scope, timeout, CPU/RSS budget и способ cleanup. После шага прочитайте состояние обратно и сравните только синтетические маркеры. Не переносите из advisory exploit-код, реальные идентификаторы или опасную нагрузку.

Матрица результата и критерий остановки

Рабочая строка этой статьи: argument class | parsed node type | schema valid | launcher calls | rendered keys | verdict. PASS допустим, когда control достигает целевой функции, boundary-case управляемо отклонён, а readback и side-effect diff чисты. FAIL фиксируется только при работающем control и прямом нарушении инварианта «значение должно проходить schema/type validation и безопасную сериализацию как scalar до разбора итогового template». UNKNOWN обязателен при неизвестной сборке, неполной телеметрии, раннем limiter, неоднозначном состоянии или невозможности безопасно воспроизвести ветку. Stop-condition задаётся заранее: marker создал новый YAML-node, launcher вызван или fixture содержит команду/production template. После него тест не расширяют и не пытаются добиться результата большей нагрузкой.

Как доказать исправление без лишних изменений

Для candidate или FAIL сверьте remediation на upstream-странице GHSA-73mf-m39p-wpm9 и используйте поддерживаемую версию либо документированный backport; inventory-ориентир остаётся «Yamcs Core: до 5.12.7 и 5.13.0–5.13.1; исправления: 5.12.8 и 5.13.2». Если patched release не названа, не выдумывайте её: временно изолируйте функцию и согласуйте отдельную миграцию. На том же fixture сохраните pre/post artifact digest, повторите control и boundary-case, затем сравните матрицу «argument class | parsed node type | schema valid | launcher calls | rendered keys | verdict». Canary допустим только после чистого cleanup и отдельного rollback. Не меняйте одновременно proxy, права, storage или формат данных — иначе причина результата потеряется.

Минимальный handoff владельцу Yamcs instance templates

Передайте GHSA-73mf-m39p-wpm9, resolved package, границу «Yamcs Core: до 5.12.7 и 5.13.0–5.13.1; исправления: 5.12.8 и 5.13.2», artifact digest, feature state, hash fixture, budgets, одну заполненную строку «argument class | parsed node type | schema valid | launcher calls | rendered keys | verdict», verdict PASS/FAIL/UNKNOWN и причину unknown. Ссылки на GitHub Advisory Database и upstream источник нужны для повторной проверки, но длинные фрагменты не копируются. Укажите, что вывод относится только к боли «аргумент createInstance может изменить YAML-структуру, если вставляется как сырой фрагмент». Удалите hostnames, IP, usernames, cookies, tokens, конфиги и содержимое пользовательских объектов. Для независимого журнала достаточно полей `yamcs-instance-template-argument-yaml-type-check-artifact`, `yamcs-instance-template-argument-yaml-type-check-control`, `yamcs-instance-template-argument-yaml-type-check-boundary`, `yamcs-instance-template-argument-yaml-type-check-readback`, `yamcs-instance-template-argument-yaml-type-check-sideeffects`, `yamcs-instance-template-argument-yaml-type-check-stop`, `yamcs-instance-template-argument-yaml-type-check-verdict`, `yamcs-instance-template-argument-yaml-type-check-cleanup`; значения секретов в них запрещены.

Материал подготовлен редакцией VOne с помощью ИИ; даты, версии, первичные источники, обратимый fixture, stop-rule, privacy-ограничения и отсутствие рекламных обещаний перепроверены человеком.

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

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

Ответы

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

Ваш ответ

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

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

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