Generador de abstracciones de comportamiento para contratos inteligentes mediante Fuzzing

Resumen

Los contratos inteligentes son programas inmutables en la blockchain que gestionan activos digitales sin intermediarios. Su inmutabilidad y manejo de recursos valiosos hacen crucial la detección temprana de errores. Este trabajo presenta un enfoque para generar  automáticamente abstracciones por predicados en contratos Solidity de la red Ethereum, utilizando análisis dinámico vía fuzzing con la herramienta de código abierto Echidna. Se desarrolla un prototipo que explora el comportamiento real de los contratos, generando máquinas de estado finitas que abstraen el comportamiento de los mismos, basándose en predicados que reflejan el estado del contrato y las precondiciones necesarias para la habilitación de sus funciones. Esto permite identificar comportamientos  complejos difíciles de detectar manualmente. Finalmente, se comparan las ventajas y limitaciones del enfoque en relación al uso de herramientas  de análisis estático.