Desarrollo de herramienta de análisis para proyectos Rust y auditoría de proyectos blockchain

Abstract

Esta memoria fue realizada durante un programa de doble titulación en INSA Lyon (Francia) por un estudiante proveniente de la UTFSM (Chile). El documento explora las complejidades de auditar proyectos de blockchain, especialmente aquellos que utilizan Rust, un lenguaje de programación conocido por su robustez y eficiencia. Introduce una nueva herramienta de análisis de Rust diseñada para abordar los desafíos únicos que enfrentan los auditores en este campo. La herramienta mejora la experiencia de auditoría con características como acercar en el código y definiciones de macros, alejar las definiciones de funciones a diagramas de gráficos de llamadas, y la inclusión de widgets de vista web en el editor. La investigación también detalla los desafíos superados durante el desarrollo de la herramienta, incluidas las modificaciones al código fuente de Visual Studio Code (VSCode). El documento concluye con una evaluación práctica de la herramienta basada en comentarios de auditores y eficiencia en la identificación de errores, ofreciendo importantes perspectivas sobre el potencial de la herramienta para mejorar la auditoría de blockchain Rust.