DogeFuzz: um Framework Extensível para Estudos do Uso de Fuzzing na Análise Dinâmica de Smart Contracts
Segurança de Software
Contratos Inteligentes
Fuzzing Test
Análise de Programas
Smart contract são programas Turing-completo que são executados em uma rede blockchain. Muitas vezes, este tipo de programa armazena ativos digitais valiosos e em um blockchain como o Ethereum, o binário de cada smart contract está publico e transparente, e por isso pode ser acessado por qualquer um. Isso faz com que este tipo de programa seja alvo constante de ataques e que a segurança de um contrato seja algo crítico. Este trabalho visa experimentar técnicas avançadas de fuzzing na detecção automática de vulnerabili- dades em smart contracts. A técnica que será explorada é a directed greybox fuzzing que tem como objetivo gerar inputs que explorem pontos específicos do código. Para isso, a ferramenta ContractFuzzer será estendida de forma que consiga utilizar esta nova técnica. Para avaliar a performance desta extensão será preciso criar um dataset para experimentar a capacidade exploração das duas versões da ferramenta ContractFuzzer.