Generador de abstracciones de comportamiento para contratos inteligentes mediante fuzzing

• Autores: Grinspan, Ian
• Año de publicación: 2025
• Idioma: español castellano
• Tipo de recurso: tesis de grado
• Colaborador/a o director/a de tesis: Godoy, Javier Ignacio; Garbervetsky, Diego David
• Materia: VALIDACION DE SOFTWARE; ANALISIS DINAMICO; FUZZING; ECHIDNA; BLOCKCHAIN; CONTRATOS INTELIGENTES; ETHEREUM; SOLIDITY; ABSTRACCIONES POR PREDICADOS; SOFTWARE VALIDATION; DYNAMIC ANALYSIS; FUZZING; ECHIDNA; BLOCKCHAIN; SMART CONTRACTS; ETHEREUM; SOLIDITY; PREDICATE-BASED ABSTRACTIONS
• Institución: Universidad Nacional de Buenos Aires. Facultad de Ciencias Exactas y Naturales

Los contratos inteligentes son programas inmutables desplegados en la blockchain, utilizados para gestionar activos digitales y automatizar acuerdos sin intermediarios. Dada la inmutabilidad de su código una vez desplegado y el manejo de recursos de alto valor que emplean, la identificación temprana de errores y vulnerabilidades es crucial para evitar pérdidas económicas y fallos de seguridad. En este trabajo se presenta un enfoque para la generación automática de abstracciones por predicados, aplicada a contratos inteligentes escritos en Solidity para la red Ethereum. A diferencia de herramientas previas que emplean análisis estático, esta propuesta se basa en técnicas de análisis dinámico mediante fuzzing, utilizando la herramienta de código abierto Echidna. El prototipo desarrollado permite explorar el comportamiento de los contratos generando abstracciones que reflejan el estado del contrato y las precondiciones necesarias para la habilitación de sus funciones. Este enfoque permite identificar estados de ejecución no triviales y condiciones que podrían pasar desapercibidas en un análisis manual. Se analizan las ventajas y limitaciones de la herramienta propuesta, comparándola con enfoques previos que emplean analizadores estáticos, y se discuten posibles extensiones para mejorar la eficiencia y precisión del análisis.
Smart contracts are immutable programs deployed on the blockchain, used to manage digital assets and automate agreements without intermediaries. Given the immutability of their code once deployed and the high-value resources they handle, early identification of errors and vulnerabilities is crucial to prevent economic losses and security breaches. This work presents an approach for the automatic generation of predicate-based abstractions applied to smart contracts written in Solidity for the Ethereum network. Unlike previous tools that rely on static analysis, this proposal is based on dynamic analysis techniques through fuzzing, using the open-source tool Echidna. The developed prototype allows for exploring contract behavior by generating abstractions that reflect the contract’s state and the preconditions required to enable its functions. This approach helps identify non-trivial execution states and conditions that might be overlooked in manual analysis. The advantages and limitations of the proposed tool are analyzed, comparing it with previous approaches that use static analyzers, and potential extensions are discussed to improve the efficiency and accuracy of the analysis.
Fil: Grinspan, Ian. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales; Argentina.