Analysis tools for smart contract security

Abstract

Currently, one of the most pressing issues in the deployment of smart contracts is security. Concerns about inefficiency, security, and dishonest behavior are well-founded, so ignoring them when using the blockchain network to create smart contracts can lead to extremely high additional costs. The article deals with the most common tools for smart contracts auditing. The purpose of this article is to compare the most popular software tools for smart contract security analysis. Smart contracts were used for this purpose that were recognized as secure with a high degree of probability (hereinafter, for simplicity, known as secure or secure smart contracts), as well as vulnerable or simply vulnerable smart contracts. In total, 20 DeFi smart contracts from the Ethereum blockchain network written in the Solidity programming language were used for analysis.