A Software Analysis Based Vulnerability Detection System For Smart Contracts

Abstract

Smart contracts bring Ethereum transactions great convenience, meanwhile, they can have potentially devastating financial consequences. Among the existing tools, few can handle bytecode detection tasks. To address the lack of bytecode security guarantee, we design a software-based detection system that can perform both source code and bytecode. Finally, we conduct preliminary experiments towards building a reliable vulnerability database and concise analysis is provided.