Smart Contract Behavior Abstraction Generator using Fuzzing
Keywords:
software validation, dynamic analysis, fuzzing, blockchain, predicate abstractionsAbstract
Smart contracts are immutable programs on the blockchain that manage digital assets without intermediaries. Their immutability and handling of valuable resources make early error detection crucial. This work presents an approach to automatically generate predicate abstractions in Solidity contracts on the Ethereum network, using dynamic analysis through fuzzing with the open-source tool Echidna. A prototype is developed to explore the actual behavior of contracts, generating finite state machines that abstract their behavior based on predicates that reflect the contract’s state and the preconditions required to enable its functions. This allows the identification of complex behaviors that are difficult to detect manually. Finally, the advantages and limitations of the approach are compared to the use of static analysis tools.
Downloads
Published
Issue
Section
License
Copyright (c) 2025 Ian Grinspan, Javier Godoy, Diego Garbervetsky
This work is licensed under a Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International License.
Acorde a estos términos, el material se puede compartir (copiar y redistribuir en cualquier medio o formato) y adaptar (remezclar, transformar y crear a partir del material otra obra), siempre que a) se cite la autoría y la fuente original de su publicación (revista y URL de la obra), b) no se use para fines comerciales y c) se mantengan los mismos términos de la licencia.
