Уязвимость переполнения целого числа в модуле безопасности Move языка

Недавно исследователи в области безопасности обнаружили серьезную уязвимость переполнения целого числа при глубоком анализе языка Move. Эта уязвимость существует в модуле проверки безопасности ссылок и может привести к атакам отказа в обслуживании. В этой статье подробно рассматриваются принципы и последствия этой уязвимости.

Фон уязвимости

Язык Move проводит проверку кода перед выполнением байт-кода, включая проверку безопасности ссылок. Этот процесс делится на несколько этапов, а обнаруженная уязвимость возникла на этапе проверки reference_safety.

Основной процесс проверки безопасности включает в себя:

1. Разделите код на базовые блоки
2. Провести анализ каждого основного блока
3. Состояние до и после объединения анализа
4. Распространение результатов на последующие блоки

В этом используется структура AbstractState для представления состояния анализа, содержащая информацию о локальных переменных и графе заимствований.

Подробности уязвимости

Уязвимость возникает в функции join_ в состоянии объединенного анализа. Эта функция использует тип u8 для итерации по локальным переменным, но если сумма длины параметров и длины локальных переменных превышает 256, происходит переполнение целого числа.

Конкретно говоря:

• использование self.iter_locals() для итерации по locals в функции join_
• iter_locals() возвращает итератор типа u8
• Если длина параметров + длина локальных переменных > 256, итератор переполнится

Хотя в Move есть процесс проверки количества локальных переменных, он проверяет только количество локальных переменных и не включает длину параметров.

Эксплуатация уязвимостей

Атакующий может создать циклический кодовый блок, используя переполнение для изменения состояния блока:

1. Общее количество параметров и локальных переменных больше 256
2. После первого выполнения длина новой карты locals будет переполнена и уменьшится
3. Повторное выполнение приведет к панике, если обратиться к несуществующему индексу locals.

Это может вызвать отказ в обслуживании узла.

Влияние уязвимости

Этот уязвимость может привести к:

1. Краш верфикатора байт-кода Move
2. Узлы блокчейна, зависящие от Move, отказываются в обслуживании
3. Обойти некоторые проверки безопасности

Рекомендации по исправлению

1. Добавить проверку длины параметров в проверку границ locals
2. Используйте более крупные целочисленные типы, такие как u16, для итерации по locals
3. Добавление дополнительных проверок безопасности во время выполнения

Итог

Этот недостаток еще раз подтверждает, что даже самые тщательно спроектированные языки могут иметь уязвимости. Для языка Move рекомендуется добавить необходимые проверки безопасности не только на этапе верификации, но и во время выполнения. Специалисты по безопасности продолжат углубленный анализ языка Move, чтобы выявить больше потенциальных проблем.