Уязвимость Signed to Unsigned Conversion Error и Out-of-bound Write в Erlang OTP erts позволяет злоумышленнику, который может предоставить созданный двоичный файл внешнего формата терминов Erlang (ETF) в файлbinary_to_term/1, повредить указатель кучи BEAM и привести к сбою виртуальной машины. При декодировании термина LARGE_TUPLE_EXT проход проверки decoded_size() в erts/emulator/beam/external.c считывает 32-битное поле арности как беззнаковое (get_uint32()), а проход декодирования dec_term() считывает то же поле как 32-битное целое число со знаком (get_int32()) в int. Значение 0x80000000 проходит проверку как 2147483648, но декодируется как -2147483648, поэтому последующий hp += n перемещает указатель выделения кучи назад.
Ни один из проходов не обеспечивает соблюдение ограничения арности кортежей во время выполнения MAX_ARITYVAL. Результатом является запись в кучу за пределами границ; на практике виртуальная машина обнаруживает невозможный размер кучи и прерывает работу, отказывая в обслуживании. Требуемое заполнение велико в несжатом виде, но конверт сжатого ETF сжимает его до небольшой полезной нагрузки на проводе.
Эта проблема затрагивает OTP от OTP 25.0 до OTP 29.0.4, OTP 28.5.0.4 и OTP 27.3.4.15, что соответствует ert от 13.0 до 17.0.4, 16.4.0.4 и 15.2.7.11.
Показать оригинальное описание (EN)
Signed to Unsigned Conversion Error and Out-of-bounds Write vulnerability in Erlang OTP erts allows an attacker who can supply a crafted Erlang external term format (ETF) binary to binary_to_term/1 to corrupt the BEAM heap pointer and crash the virtual machine. When decoding a LARGE_TUPLE_EXT term, the validation pass decoded_size() in erts/emulator/beam/external.c reads the 32-bit arity field as unsigned (get_uint32()), while the decode pass dec_term() reads the same field as a signed 32-bit integer (get_int32()) into an int. An arity wire value of 0x80000000 passes validation as 2147483648 but decodes as -2147483648, so the subsequent hp += n moves the heap allocation pointer backward. Neither pass enforces the runtime tuple-arity limit MAX_ARITYVAL. The result is an out-of-bounds heap write; in practice the VM detects an impossible heap size and aborts, denying service. The required padding is large when uncompressed but the compressed-ETF envelope shrinks it to a small payload on the wire. This issue affects OTP from OTP 25.0 before OTP 29.0.4, OTP 28.5.0.4 and OTP 27.3.4.15, corresponding to erts from 13.0 before 17.0.4, 16.4.0.4 and 15.2.7.11.
Характеристики атаки
Последствия
Строка CVSS v4.0
Тип уязвимости (CWE)
Уязвимые продукты 6
| Конфигурация | От (включительно) | До (исключительно) |
|---|---|---|
|
Erlang Erlang\/Otp
cpe:2.3:a:erlang:erlang\/otp:*:*:*:*:*:*:*:*
|
25.0
|
27.3.4.15
|
|
Erlang Erlang\/Otp
cpe:2.3:a:erlang:erlang\/otp:*:*:*:*:*:*:*:*
|
28.0
|
28.5.0.4
|
|
Erlang Erlang\/Otp
cpe:2.3:a:erlang:erlang\/otp:*:*:*:*:*:*:*:*
|
29.0
|
29.0.4
|
|
Erlang Erts
cpe:2.3:a:erlang:erts:*:*:*:*:*:*:*:*
|
13.0
|
15.2.7.11
|
|
Erlang Erts
cpe:2.3:a:erlang:erts:*:*:*:*:*:*:*:*
|
16.0
|
16.4.0.4
|
|
Erlang Erts
cpe:2.3:a:erlang:erts:*:*:*:*:*:*:*:*
|
17.0
|
17.0.4
|