Безопасная проверка Spring Web Flow Unified EL parser по ghsa-9ggw-87m9-9gfc: применимость, обратимый fixture, value origin / parser / target property / allowlisted / evaluation attempted / model delta, PASS и stop-rule без production-данных.
Отделите симптом от предположения в Spring Web Flow Unified EL parser
Самостоятельная пользовательская боль: выражение из flow/input boundary получает больше возможностей чтения или записи, чем предусмотренный моделью binding allowlist. Механизм на проверяемом уровне: подключение `WebFlowELExpressionParser` меняет разбор выражений, а trust boundary между конфигурацией flow и внешними значениями становится неявной. Поэтому рабочий invariant формулируется так: «внешние значения выбирают только заранее разрешённые поля и никогда не становятся исполняемым EL-фрагментом». Проверка полезна только тогда, когда positive и negative controls различимы. GitHub Reviewed Advisory ghsa-9ggw-87m9-9gfc опубликована 2026-06-11, обновлена 2026-08-18; её summary — «Spring Web Flow has Data Binding Vulnerability with Unified EL Parser». Запись задаёт технический сигнал и package boundary «maven/org.springframework.webflow:spring-webflow 4.0.0, 3.0.0–3.0.1 и <=2.5.1 по reviewed record», но сама по себе не доказывает наличие vulnerable path в fork, факт эксплуатации, пользовательский спрос, индексацию или влияние на позиции.
Постройте матрицу применимости до любого теста
Инвентаризация должна ответить на четыре независимых вопроса: присутствует ли Spring Web Flow Unified EL parser, попадает ли resolved dependency/build в «maven/org.springframework.webflow:spring-webflow 4.0.0, 3.0.0–3.0.1 и <=2.5.1 по reviewed record», достижим ли описанный code path и не перенесён ли фикс отдельно. Запишите только package manager lock, component build, feature/config state и происхождение образа; не делайте вывод по одному banner. Основная таблица применимости: value origin / parser / target property / allowlisted / evaluation attempted / model delta. Отдельно пометьте `not_present`, `version_outside`, `path_disabled`, `backport_confirmed`, `needs_fixture`. Если версия неизвестна, это `unknown`, а не affected. Если upstream boundary и локальная сборка используют разные schemes, остановитесь и восстановите SBOM/commit provenance вместо угадывания.
Выполните обратимый fixture с двумя controls
Изолированный сценарий: MockMvc/flow-execution test с DTO из двух разрешённых полей и synthetic expression-like строками как данными, а не кодом. Запускайте сценарий в disposable test context с запретом внешней сети. Positive control: обычное значение привязывается к allowlisted property без потери штатной валидации. Negative case воспроизводит только нарушение invariant, без реальных секретов, чужих объектов, внешних targets и инструкций по эксплуатации. До запуска зафиксируйте expected calls/writes/bytes, после — сравните фактические счётчики и верните temporary state через rollback или уничтожение disposable context. Не повышайте риск ради реализма: доказательство должно находиться на unit/handler/converter/policy boundary, где причина видна без рабочей инфраструктуры.
Сведите наблюдения в decision matrix
Строка результата содержит: value origin / parser / target property / allowlisted / evaluation attempted / model delta. PASS означает: expression-like input остаётся строкой либо отклоняется; запрещённые properties и context objects не меняются. FAIL допустимо фиксировать только когда negative fixture проходит до запрещённого эффекта, а positive control подтверждает, что test harness работоспособен. `Inconclusive` ставьте при missing build provenance, недоступном feature path, неоднозначном backport или сломанном control. Не заменяйте причинный результат отсутствием ошибок в журнале. Для каждого решения приложите hash fixture, test name, dependency resolution и нулевые/ожидаемые side-effect counters; содержимое секретов и персональные поля исключите.
Выберите безопасное действие и критерий остановки
При подтверждённой применимости предпочтительно перейти на исправленную ветку из официального источника, повторить тот же fixture и проверить регрессию штатного control. Компенсирующая мера принимается только если она реально разрывает описанный mechanism и имеет owner/expiry; общие WAF, ACL или log alerts не считаются автоматическим исправлением. Жёсткая stop-rule: не запускать произвольные выражения и не подключать рабочие bean/context secrets к fixture. Эскалируйте maintainer/security owner, если нужен production trace, реальные credentials, внешний target, необратимая миграция или решение расходится с upstream advisory. Минимальный пакет поддержки: component/build, boundary decision, включённые features, обезличенная matrix, fixture hash, PASS/FAIL/Unknown, control result и ссылка на два прямых источника.
Материал подготовлен редакцией VOne с помощью ИИ; даты, диапазоны, прямые источники, безопасный fixture, privacy-границы и отсутствие рекламных обещаний затем перепроверены.
Источники и проверка
- GitHub Reviewed Advisory ghsa-9ggw-87m9-9gfc проверено 2026-08-31
- Spring security advisory CVE-2026-40985 проверено 2026-08-31
Информация актуальна на дату публикации. Правила сервисов, приложений и сетей могут меняться.