Análisis rápido y escalable de los contratos inteligentes

Diseñamos e implementamos un marco de fuzzing rápido y escalable para los contratos inteligentes de Ethereum. Proporciona una forma de codificar propiedades personalizadas en un contrato que se comprobará automáticamente. El fuzzer toma un proyecto de trufa como entrada, fuzzes contratos y para cada contrato informa de la cobertura, desbordamientos de enteros, aserciones, cualquier violación de las propiedades personalizadas y las estadísticas sobre las transacciones fallidas / exitosas para cada método. Es configurable para ajustar la estrategia de fuzzing para un dominio específico. Informamos de los puntos de referencia probándolo en varios escenarios, incluyendo más de 30k contratos del mundo real desplegados en la cadena principal de Ethereum.