Survey of Vulnerability Detection Tools for Smart Contracts

Smart contracts are an important component of the blockchain platform to realize transactions, and provide an effective solution to the trust problem between multi-party transactions. Smart contracts not only manage high-value tokens, but also have the characteristics of immutability, which has led to many smart contracts in recent years. Suffering from security threats. There has been a lot of research on the security of smart contracts, of which smart contract vulnerability detection has become the main focus. The article systematically analyzes the security issues of smart contracts, and divides vulnerability detection tools into static detection tools from the perspective of whether the contract is executed And dynamic detection tools, and a comparative analysis of detection tools, focusing on the analysis of the vulnerability detection capabilities of existing detection tools, and introducing the principles, advantages and disadvantages of 16 detection technologies; finally, the prospect of how to improv