Уязвимость неэффективной алгоритмической сложности в механизме обхода в rrrene html_sanitize_ex позволяет неаутентифицированному удаленному злоумышленнику истощать процессор и память сервера посредством плоского запуска одноуровневых элементов в очищенном HTML. Предложение списка HtmlSanitizeEx.Traverser.traverse/2 рекурсивно обращается к хвосту одноуровневого списка, а затем оценивает List. Flatten([head] ++ Tail) по уже сглаженному результату, поэтому каждый из n одноуровневых элементов копирует и повторно проходит весь оставшийся хвост.
Сглаживание необходимо только в том редком случае, когда Scrub возвращает несколько узлов замены для одного узла, но стоимость выплачивается по всему хвосту на каждом шаге, что делает обход квадратичным по количеству братьев и сестер. Траверсер находится в каждой общедоступной точке входа, поэтому не требуется никакого специального скруббера или настройки, а для полезной нагрузки нужны только разрешенные теги. Тело размером 160 КБ, состоящее из 20 000 родственных элементов, занимает планировщик примерно 1,7 секунды, и стоимость растет быстрее, чем тело.
Эта проблема затрагивает html_sanitize_ex: с 0.3.1 до 1.5.3.
Показать оригинальное описание (EN)
Inefficient Algorithmic Complexity vulnerability in the traversal engine in rrrene html_sanitize_ex allows an unauthenticated remote attacker to exhaust server CPU and memory via a flat run of sibling elements in sanitized HTML. The list clause of HtmlSanitizeEx.Traverser.traverse/2 recurses on the tail of a sibling list and then evaluates List.flatten([head] ++ tail) over the already flattened result, so every one of n siblings copies and re-walks the entire remaining tail. The flattening is only needed for the rare case where scrub returns several replacement nodes for one node, but the cost is paid across the whole tail at every step, making traversal quadratic in sibling count. The traverser sits on every public entry point, so no particular scrubber or configuration is required and the payload needs only allowed tags. A 160 KB body of 20,000 sibling elements occupies a scheduler for roughly 1.7 seconds, and the cost grows faster than the body does. This issue affects html_sanitize_ex: from 0.3.1 before 1.5.3.
Характеристики атаки
Последствия
Строка CVSS v4.0