gongbell/ContractFuzzer: The first release of ContractFuzzer Tool for ASE 2018

Decentralized cryptocurrencies feature the use of blockchain technology to transfer value among peers on the network without central agency. Smart contracts are programs running on top of the blockchain consensus protocol to enable people make agreement via blockchain while minimizing trust. While millions of smart contracts exist to help build decentralized applications, the security vulnerabilities within the smart contracts pose big threat to their applications. Indeed, many critical security vulnerabilities within smart contracts on Ethereum platform have caused huge financial loss to its users. In this work, we propose ContractFuzzer, a fuzzing framework to test Ethereum smart contracts for security vulnerabilities. We propose test oracles for detecting security vulnerabilities, generate fuzzing input based on the ABI specifications of the smart contracts, instrument the EVM to collect execution logs characterizing smart contracts runtime behavior and analyze the logs to report vulnerabilities. Our fuzzing on 6991 smart contracts has precisely detected 459 vulnerabilities with an average true positive rate of 98.91%. In particular, ContractFuzzer has detected the vulnerability of the DAO contract that led to $60 million loss and the vulnerabilities of Parity Wallet that led to the loss of $30 million and the freezing of $150 million worth of Ether.