Análise da vulnerabilidade de estouro de inteiros no módulo de segurança da linguagem Move

Este artigo analisará em profundidade uma nova vulnerabilidade de estouro de inteiro encontrada na linguagem Move. Esta vulnerabilidade existe no módulo de verificação de segurança de referência e pode causar a falha de nós. Através da explicação deste artigo, os leitores terão uma compreensão mais profunda da linguagem Move.

Contexto da vulnerabilidade

A linguagem Move realiza a verificação de código antes da execução do bytecode, dividida em 4 etapas. Esta vulnerabilidade ocorre durante a etapa de verificação de segurança (reference_safety).

O principal processo de verificação de segurança é:

1. Identificar blocos de código básicos
2. Analisar cada bloco básico
3. Estado antes e depois da fusão
4. Propagar o estado para os blocos subsequentes

O chave é manter a estrutura AbstractState, que inclui locals e o gráfico de empréstimos para garantir a segurança das referências.

Detalhes da Vulnerabilidade

A vulnerabilidade existe na função join_. Quando o comprimento dos parâmetros da função somado ao comprimento das variáveis locais é superior a 256, devido à utilização da iteração do tipo u8, ocorre um estouro de inteiro.

Especificamente:

• iter_locals() retorna um iterador do tipo u8
• Ocorre um overflow quando o comprimento do parâmetro + o comprimento da variável local > 256
• O desenvolvedor apenas verificou o número de variáveis locais, ignorando o comprimento dos parâmetros.

Exploração de Vulnerabilidades

É possível construir um bloco básico de loop que altera o estado usando overflow:

1. Definir o comprimento total de parâmetros e variáveis locais > 256
2. Após a primeira execução, o tamanho dos novos locals transbordou e ficou menor.
3. Ao executar novamente, acessar um índice locals que não existe provoca panic

Demonstração PoC

Forneceu código PoC reproduzível, incluindo um bloco básico em loop infinito. Ao definir parâmetros adequados e comprimento de variáveis locais, é possível desencadear um DoS.

Conclusão

Esta vulnerabilidade demonstra novamente que:

1. Não há código absolutamente seguro.
2. A importância da auditoria de código
3. O tempo de execução da linguagem Move precisa de mais verificações de segurança
4. A validação estática pode ser contornada, a segurança em tempo de execução é igualmente importante

Como líder em pesquisa de segurança da linguagem Move, continuaremos a explorar profundamente as questões de segurança relacionadas e a compartilhar os resultados da pesquisa com a comunidade.