ReDoS: защита от медленных регулярных выражений
Как неудачный шаблон регулярного выражения расходует процессорное время и какие ограничения защищают обработку недоверенных строк.
Коротко о главном
- Чем опасно
- Блокировка обработчика или event loop.
- С чего начать защиту
- Ограничьте длину входа до сопоставления и упростите неоднозначные повторения.
- Как подтвердить
- Нужны ручной аудит и проверка реализации. Отсутствие находок во внешнем скане не подтверждает безопасность.
В этой статье
- Продукт
- Веб-приложения
- Оценка риска
- Уровень зависит от конфигурации
Как проверить и что учитывать
Нужна ручная проверка
Для подтверждения нужны анализ реализации и проверки на согласованном тестовом контуре. Публикация не означает автоматическое обнаружение этого сценария FindRisk. Не делайте вывод о наличии уязвимости только по одному внешнему признаку: подтвердите результат в настройках и версии компонента.
Что нужно для подтверждения
Проведите статический разбор шаблонов и ограниченный benchmark в отдельном процессе с жёстким лимитом времени. Сравните рост времени на небольших входах, не выполняя эксперименты на production.
Ограничения вывода
- Внешний ответ не раскрывает все роли, обработчики и настройки внутренних компонентов.
- Используйте только свои системы или письменное разрешение владельца; нагрузочные проверки согласуйте отдельно.
Что это за уязвимость
Некоторые backtracking-движки перебирают множество вариантов сопоставления. На специально подобранном или просто неудачном вводе время обработки может быстро расти.
Когда возникает риск
Нужны дорогой шаблон, подходящий движок и возможность передать достаточно длинную строку. Даже постоянное выражение уязвимо; компиляция regex один раз проблему сложности не устраняет.
Возможные последствия
Как неудачный шаблон регулярного выражения расходует процессорное время и какие ограничения защищают обработку недоверенных строк.
- Блокировка обработчика или event loop.
- Рост задержек и исчерпание вычислительных ресурсов.
Как защитить приложение
Исправляйте причину в обработчике, а не только внешний симптом.
- Ограничьте длину входа до сопоставления и упростите неоднозначные повторения.
- Применяйте движок с гарантированной сложностью там, где он подходит по синтаксису.
- Используйте поддерживаемые таймауты и изоляцию; обычный HTTP-таймаут не прерывает синхронный regex.
Как безопасно проверить исправление
Проведите статический разбор шаблонов и ограниченный benchmark в отдельном процессе с жёстким лимитом времени. Сравните рост времени на небольших входах, не выполняя эксперименты на production.
Оценка риска и границы сканирования
Средний уровень — ориентировочная редакционная оценка, не CVSS подтверждённой находки. Для конкретной системы приоритет зависит от доступных данных, полномочий и компенсирующих мер; последствия могут быть значительно серьёзнее.
Отсутствие находки во внешнем скане не доказывает безопасность реализации. Проверяйте сценарии после входа, альтернативные маршруты и внутренние сервисы.
Как проходит проверка
Для подтверждения нужны анализ реализации и проверки на согласованном тестовом контуре. Публикация не означает автоматическое обнаружение этого сценария FindRisk. Автоматический результат показывает внешний признак риска и требует проверки специалистом с учётом конкретной конфигурации.
Проверить другие внешние рискиЧто делать после обнаружения
- Зафиксируйте затронутый сценарий и сохраните журналы без токенов и персональных данных.
- Ограничьте проблемный обработчик, оцените доступные данные и назначьте владельца исправления.
- Устраните первопричину и добавьте регрессионную проверку на тестовых данных.
Частые вопросы
Что означает риск «ReDoS»?
Как неудачный шаблон регулярного выражения расходует процессорное время и какие ограничения защищают обработку недоверенных строк.
Можно ли подтвердить проблему только внешней проверкой?
Для подтверждения нужны анализ реализации и проверки на согласованном тестовом контуре. Публикация не означает автоматическое обнаружение этого сценария FindRisk. Итог нужно сопоставить с конфигурацией, версиями и правами доступа на вашем сайте.
Что сделать в первую очередь?
Ограничьте длину входа до сопоставления и упростите неоднозначные повторения.