Версии HTML::FormHandler до 0.40068 для Perl позволяют злоумышленнику отправлять выбранный метод и исчерпать ресурсы, поскольку _apply_actions и add_error используют текст сообщения об ошибке, созданный на основе данных запроса, в качестве шаблона нотации скобок Locale::Maketext.
add_error передает свой первый аргумент дескриптору языка в качестве ключа сообщения Locale::Maketext, а лексикон дескриптора по умолчанию устанавливает `_AUTO`, поэтому строка, которая не является записью лексикона, компилируется как шаблон нотации в скобках, а не ищется. В группе скобок первый токен называет метод, вызываемый по языковому дескриптору, а остальные токены являются его аргументами. Три вида текстов, авторами которых не была библиотека, достигли этой позиции. _apply_actions устанавливает обработчик `$SIG{__WARN__}`, который сохраняет текст предупреждения в `$error_message`, и захваченное предупреждение сохраняется после успешного действия, поэтому поле, содержащее числовое преобразование, превращает `Аргумент "[sprintf,%50000000d,0]" в шаблон не числовой; предупреждение дословно цитирует отправленное значение, поэтому группа правильно сформирована и отправлена. `$error_message ||= $tobj->validate($new_value)` принимает собственное сообщение об ошибке ограничения типа, которое визуализирует отклоненное значение через частичный дамп в форме скобок и запятых (Devel::PartialDump, когда Moose может его загрузить, собственный дамп Type::Tiny всегда), поэтому поле с `apply => [ Str ]`, учитывая параметр, отправленный более одного раза, который поступает в виде массива, получает `Reference ["a","b"] не передал ограничение типа "Str"` в качестве шаблона из запроса, который не содержит собственного символа скобки.
Исключение приведения или преобразования достигает его таким же образом. Помимо этого, валидатор, сообщение которого содержит значение поля, помещает это значение непосредственно в шаблон, а add_error заменяет список сообщений содержимым первого аргумента arrayref («@message = @{$message[0]} if ref $message[0] eq 'ARRAY'`), поэтому значение, поступающее в виде массива, также заполняет слоты аргументов из того же запроса. Неверно сформированная группа, такая как `[0]`, приводит к сбою компиляции, а HTML::FormHandler::I18N::maketext и add_error каждый повторно поднимает ее как кубик, поэтому процесс() выдает ошибку.
Хорошо сформированная группа с именем sprintf достигает CORE::sprintf с шириной поля, выбранной злоумышленником. Любой вызывающий объект, который применяет ограничение типа или преобразование к ненадежному полю или чей валидатор передает значение ненадежного поля в add_error, может быть вынужден выдать необработанное исключение из процесса() или выделить произвольный объем памяти в одном запросе, а приложение, подкласс языкового дескриптора которого определяет общедоступные методы с побочным эффектом, делает их вызываемыми с аргументами, выбранными злоумышленником. Сообщение об ограничении выгруженного типа привязано к исключению, поскольку оба дампера цитируют нечисловые элементы, поэтому слот метода никогда не является именем, выбранным злоумышленником.
Встроенные сообщения передают фиксированные шаблоны со значением в слоте аргумента, где оно остается инертным, а встроенные типы полей присоединяют явные обратные вызовы сообщений, поэтому ни на одно из них это не влияет.
Показать оригинальное описание (EN)
HTML::FormHandler versions through 0.40068 for Perl allow attacker selected method dispatch and resource exhaustion because _apply_actions and add_error use error message text built from request data as a Locale::Maketext bracket notation template. add_error hands its first argument to the language handle as the Locale::Maketext message key, and the default handle's lexicon sets `_AUTO`, so a string that is not a lexicon entry is compiled as a bracket notation template instead of being looked up. In a bracket group the first token names a method called on the language handle and the remaining tokens are its arguments. Three kinds of text the library did not author reach that position. _apply_actions installs a `$SIG{__WARN__}` handler that stores the warning text in `$error_message`, and a captured warning survives a successful action, so a field carrying a numeric transform turns `Argument "[sprintf,%50000000d,0]" isn't numeric` into the template; a warning quotes the submitted value verbatim, so the group is well formed and dispatches. `$error_message ||= $tobj->validate($new_value)` takes a type constraint's own failure message, which renders the rejected value through a partial dumper in bracket and comma form (Devel::PartialDump when Moose can load it, Type::Tiny's own dumper always), so a field with `apply => [ Str ]` given a parameter sent more than once, which arrives as an array, gets `Reference ["a","b"] did not pass type constraint "Str"` as its template, from a request that carries no bracket character of its own. A coercion or transform exception reaches it the same way. Beyond those, a validator whose message contains the field value puts that value in the template directly, and add_error replaces the message list with the contents of an arrayref first argument (`@message = @{$message[0]} if ref $message[0] eq 'ARRAY'`), so a value arriving as an array fills the argument slots from the same request as well. A malformed group such as `[0]` makes the compile croak, and HTML::FormHandler::I18N::maketext and add_error each re-raise that as a die, so process() throws. A well formed group naming sprintf reaches CORE::sprintf with an attacker chosen field width. Any caller that applies a type constraint or a transform to an untrusted field, or whose validator passes an untrusted field value to add_error, can be made to throw an unhandled exception out of process(), or to allocate an arbitrary amount of memory in one request, and an application whose language handle subclass defines side effecting public methods makes those callable with attacker chosen arguments. The dumped type constraint message is bounded to the exception, because both dumpers quote non-numeric elements so the method slot is never an attacker chosen name. The built-in messages pass fixed templates with the value in an argument slot, where it stays inert, and the built-in field types attach explicit message callbacks, so neither is affected.
Характеристики атаки
Последствия
Строка CVSS v3.1