Análise rápida e escalável de contratos inteligentes

Concebemos e implementamos um quadro rápido e escalável para os contratos inteligentes Ethereum. Fornece uma forma de codificar as propriedades personalizadas num contrato que será automaticamente verificado. O fuzzer toma um projecto de trufa como input, espoleta contratos e para cada contrato reporta cobertura, transbordos de inteiros, afirmações, qualquer violação de propriedades personalizadas e estatísticas sobre transacções falhadas/sucedidas para cada método. É configurável para ajustar a estratégia de fuzzer para um domínio específico. Relatamos padrões de referência testando-o em vários cenários, incluindo mais de 30k contratos do mundo real implantados na cadeia principal do Ethereum.