A Survey on Automatic Discover Approach by Using Static Analysis for Smart Contract Vulnerability

Smart contract runs on blockchain platforms and plays a critical role in decentralized applications. Unfortunately, since smart contracts manage valuable digital assets, attacks against them can result in substantial economic losses. Especially, most of the attack are carried out by exploiting the vulnerabilities in smart contracts. Aiming to perform efficient and comprehensive identification for contract vulnerabilities, there emerges a number of research on smart contract security and vulnerability detection. This paper provides a comprehensive surveys on various smart contract vulnerabilities and corresponding detection methods proposed in recent years. Meanwhile, this paper implements an automatic discover approach by using static analysis for smart contract vulnerability, which can effectively identify and localize vulnerabilities within contracts. Experimental results show this method can precisely locate and classify contract vulnerabilities.