Security Analysis of Blockchain Smart Contract: Taking Reentrancy Vulnerability as an Example

Mingtao Ji,GuangJun Liang,Meng Li,Haoyan Zhang,Jiacheng He
DOI: https://doi.org/10.1007/978-3-030-78621-2_41
2021-01-01
Abstract:As the blockchain enters the 2.0 era, the smart contract which is based on the blockchain platform has gradually entered people’s field of vision. By its transparency, non-tampering, independence from third-party arbitration, and trustlessness, it is widely applied in equity crowdfunding, games, insurance, particularly the Internet of Things. However, the attack on the TheDAO smart contract alert public awareness of the security of a smart contract. The essence of the smart contract is an electronic contract written in code. Due to reasons like lacking standard libraries for its programming language, several loopholes will inevitably appear in the code. Once they are found by attackers, the interests of the main body using smart contracts will be damaged. There are many types of vulnerabilities in smart contracts, such as reentrancy, short address attacks, and timestamp dependence. This article mainly focuses on re-entry vulnerabilities as the research object and analyzes the principle of re-entry vulnerabilities. Featuring immutable after being chained, the smart contract must be checked before it is chained to make up for the vulnerability. This paper provides a detection method based on symbolic execution to detect reentrancy vulnerabilities. We hope to strengthen people’s security awareness of smart contracts and boost the research of smart contracts in terms of security by our study of the smart contract reentrancy vulnerability in this article. Promote the research and development of smart contracts.
What problem does this paper attempt to address?