Защитная диагностика Yamcs StreamSQL LikeExpression по ghsa-c64q-hj4j-375f: применимость, обратимый локальный control, измеримый verdict, stop-rule и минимальный пакет данных для владельца системы.
Короткий ответ — Yamcs: проверка LIKE до компиляции выражения
Задача страницы — проверить, что Yamcs кодирует LIKE pattern как данные до передачи в Janino и не меняет структуру generated source. Advisory ghsa-c64q-hj4j-375f служит свежим inventory-сигналом, но сама по себе не доказывает состояние конкретной установки. Сначала зафиксируйте фактически загруженный Yamcs StreamSQL LikeExpression, package lock или image digest и границу «org.yamcs:yamcs-core: introduced 5.13.0, fixed 5.13.2; org.yamcs:yamcs-core: introduced 0, fixed 5.12.8». Затем отделите применимость от результата проверки: версия говорит, какую ветку исследовать, а измеримый control показывает поведение. Пользовательская боль здесь одна: пользовательский LIKE pattern может попасть в генерируемый Java literal без корректного экранирования. Итогом должен стать таблица input class / AST node count / source digest / compile code / side-effect counters, чтобы другой инженер мог повторить решение без production-данных и без догадок.
Граница применимости для Yamcs StreamSQL LikeExpression
Разберите путь решения как «bound pattern → StreamSQL AST → Java literal encoder → compiled predicate». Для каждого перехода укажите владельца значения, тип входа, допустимое состояние и запрещённый side effect. Проверяемая инварианта: пограничные кавычки остаются данными AST, generated-source digest меняется только внутри literal и не создаёт новых узлов. NOT_APPLICABLE возможен только при доказанном отсутствии компонента или недостижимости указанной ветки; неизвестный digest, effective config или способ вызова дают UNKNOWN. Номер исправленного релиза без runtime readback не превращает результат в PASS. Не объединяйте эту проверку с соседними уязвимостями продукта: здесь оценивается именно описанная граница данных и управления.
Почему обычной проверки версии недостаточно
Lock-файл, SBOM, container digest и вывод package manager отвечают на разные вопросы. Сведите их в одну строку provenance и сопоставьте с advisory-границей «org.yamcs:yamcs-core: introduced 5.13.0, fixed 5.13.2; org.yamcs:yamcs-core: introduced 0, fixed 5.12.8». После этого проверьте effective путь выполнения, потому что vendored копия, optional dependency, отключённый adapter или отдельный worker способны изменить применимость. Зафиксируйте reason code: AFFECTED_PATH, PATCHED_PATH, COMPONENT_ABSENT либо PROVENANCE_UNKNOWN. Отсутствие инцидента, один успешный HTTP-ответ или активный systemd unit не подтверждают инварианту «пограничные кавычки остаются данными AST, generated-source digest меняется только внутри literal и не создаёт новых узлов».
Безопасный локальный control для Yamcs StreamSQL LikeExpression
Работайте только в disposable fixture: в изолированном unit fixture с отключёнными side effects передать короткие benign patterns и инспектировать AST/source только до выполнения. Сеть, subprocess, production database, реальные bucket, очереди, почта, токены и пользовательские файлы замените fake, spy или in-memory адаптерами. До запуска сохраните baseline hash, нулевые counters, лимит времени, памяти и числа операций. Используйте короткие синтетические маркеры без эксплуатационного payload. Цель — увидеть ветвление и соблюдение policy, а не усилить воздействие. После каждой строки теста восстанавливайте fixture и убеждайтесь, что следующий benign control начинается с того же baseline.
Матрица наблюдений без субъективного verdict
Сначала benign control доказывает, что тест достиг нужной функции. Затем boundary-case меняет ровно один признак, связанный с болью «пользовательский LIKE pattern может попасть в генерируемый Java literal без корректного экранирования». Записывайте таблица input class / AST node count / source digest / compile code / side-effect counters, reason code, duration, counters до и после, а также digest fixture. Основная инварианта остаётся: пограничные кавычки остаются данными AST, generated-source digest меняется только внутри literal и не создаёт новых узлов. Если control не достигает целевой ветки, точка наблюдения двусмысленна или recorder пропустил side effect, ставьте UNKNOWN. Нельзя добавлять более сильный вход только ради определённого ответа: безопасная воспроизводимость важнее красивого PASS.
PASS, FAIL, UNKNOWN и критерий остановки
PASS требует одновременно подтверждённого provenance, успешного benign control, соблюдения инварианты «пограничные кавычки остаются данными AST, generated-source digest меняется только внутри literal и не создаёт новых узлов», нулевых запрещённых side effects и доказанного cleanup. FAIL — тот же подтверждённый путь плюс наблюдаемое нарушение policy. UNKNOWN означает отсутствие digest, effective config, recorder, control либо возможности восстановить fixture. Немедленная красная линия: изменилось число структурных Java-узлов либо появился любой процессный или файловый side effect. При её достижении прекратите тест, сохраните только минимальные метаданные и не повторяйте boundary-case на более крупном масштабе.
Восстановление и повторный regression check
После control удалите disposable state, верните адаптеры к baseline и сравните hashes, counters и открытые ресурсы. Любой неожиданный I/O, сетевой вызов, процесс, новая строка БД или оставшийся файл блокирует PASS, даже если основной policy вернул ожидаемый код. После обновления компонента повторите тот же fixture без изменения входов и лимитов; сравните таблица input class / AST node count / source digest / compile code / side-effect counters. Так видно, изменился ли именно защищаемый переход «bound pattern → StreamSQL AST → Java literal encoder → compiled predicate», а не окружение, объём данных или наблюдатель.
Почему это самостоятельный intent и что передать владельцу
Отделяет code-generation escaping для LIKE от обычного SQL parameter binding и от Jinja/Twig шаблонизации. Поэтому материал отвечает на самостоятельный запрос «проверить, что Yamcs кодирует LIKE pattern как данные до передачи в Janino и не меняет структуру generated source» и не создаётся как механическая замена бренда, ОС или устройства. Передайте владельцу ghsa-c64q-hj4j-375f, component digest, effective version/config, границу «org.yamcs:yamcs-core: introduced 5.13.0, fixed 5.13.2; org.yamcs:yamcs-core: introduced 0, fixed 5.12.8», схему «bound pattern → StreamSQL AST → Java literal encoder → compiled predicate», control/boundary rows, таблица input class / AST node count / source digest / compile code / side-effect counters, verdict, stop reason и cleanup proof. Advisory опубликована 2026-08-28 и обновлена 2026-08-28; даты подтверждают свежесть источника, но не популярность запроса, не факт эксплуатации и не применимость к конкретному deployment.
Материал подготовлен редакцией VOne с помощью автоматизированного черновика; даты, версии и ссылки сверены по GitHub Advisory Database и первичному upstream-материалу. Текст самостоятельный, не копирует источники, не содержит эксплуатационных последовательностей и предназначен для безопасной локальной проверки.
Источники и проверка
- GitHub Advisory Database — ghsa-c64q-hj4j-375f проверено 2026-09-03
- Первичный upstream-материал — Yamcs StreamSQL LikeExpression проверено 2026-09-03
Информация актуальна на дату публикации. Правила сервисов, приложений и сетей могут меняться.