Towards Automated Generation of Bug Benchmark for Smart Contracts
Jiaming Ye, Mingliang Ma, Tianyong Peng, Yun Peng, Yinxing Xue · 2019
Smart Contracts bring Ethereum transactions great convenience, meanwhile they can have potentially devastating financial consequences. To address the lack of security guarantee, we investigate state-of-art bug detection tools and conduct experiments to analyze their pros and cons. Finally, we conduct research to answer why they have false positives and a convincing bug benchmark is provided.