El módulo de seguridad de referencia Move tiene una vulnerabilidad de desbordamiento de entero

Recientemente, investigadores de seguridad descubrieron una grave vulnerabilidad por desbordamiento de enteros al analizar a fondo el lenguaje Move. Esta vulnerabilidad existe en el módulo de verificación de seguridad de referencias y podría llevar a ataques de denegación de servicio. Este artículo detallará el principio y el impacto de esta vulnerabilidad.

Contexto de la vulnerabilidad

El lenguaje Move realiza una verificación de código antes de ejecutar el bytecode, que incluye la comprobación de la seguridad de las referencias. Este proceso se divide en varios pasos, y la vulnerabilidad descubierta se presentó en la fase de verificación de la seguridad de las referencias.

El proceso principal de validación de seguridad es:

1. Dividir el código en bloques básicos
2. Analizar cada bloque básico
3. Estado antes y después del análisis de fusión
4. Propagar resultados a bloques posteriores

Se utiliza la estructura AbstractState para representar el estado de análisis, que incluye información sobre locals y el gráfico de préstamos.

Detalles de la vulnerabilidad

La vulnerabilidad se encuentra en la función join_ del estado de análisis de fusión. Esta función itera sobre locals utilizando el tipo u8, pero si la suma de la longitud de los parámetros y la longitud de las variables locales supera 256, se producirá un desbordamiento de enteros.

Específicamente:

• usar self.iter_locals() para iterar locales en la función join_
• iter_locals() devuelve un iterador de tipo u8
• Si la longitud de los parámetros + la longitud de las variables locales > 256, el iterador se desbordará.

Aunque Move tiene un proceso de verificación del número de locales, solo verifica la cantidad de variables locales y no incluye la longitud de los parámetros.

Explotación de vulnerabilidades

Un atacante puede construir un bloque de código en bucle para utilizar un desbordamiento y cambiar el estado del bloque:

1. El número total de parámetros y variables locales es mayor que 256
2. Después de la primera ejecución, la longitud del nuevo mapa de locales se desbordará y se volverá más pequeña
3. Al ejecutar nuevamente, acceder a un índice de locals que no existe provocará un panic

Esto podría provocar un ataque de denegación de servicio en los nodos.

Impacto de la vulnerabilidad

Esta vulnerabilidad puede causar:

1. El validador de bytecode Move se bloquea
2. Los nodos de blockchain que dependen de Move rechazan el servicio
3. Evitar parte de las verificaciones de seguridad

Sugerencias de reparación

1. Añadir verificación de la longitud de los parámetros en la comprobación de límites de locals
2. Utilizar tipos de enteros más grandes como u16 para iterar locales
3. Agregar verificaciones de seguridad adicionales durante la ejecución

Resumen

Esta vulnerabilidad demuestra una vez más que incluso los lenguajes diseñados rigurosamente pueden tener fallos de seguridad. En el caso del lenguaje Move, se recomienda agregar las verificaciones de seguridad necesarias no solo en la fase de validación, sino también en tiempo de ejecución. Los investigadores de seguridad continuarán analizando a fondo el lenguaje Move para descubrir más problemas potenciales.