Smart contract vulnerability detection based on dynamic and static combination

Abstract

In the field of blockchain technology, smart contracts play a core role, but programming oversights may cause serious security risks. This study provides a comprehensive review of the types of smart contract security vulnerabilities and the development of detection techniques. This article conducts a comprehensive review of the current various detection methods, including static and dynamic analysis, and proposes a combined dynamic and static detection method for integer overflow vulnerabilities at the solidity code level and timestamp vulnerabilities at the blockchain system layer. It also analyzes a The performance of a series of mainstream detection tools in terms of detection accuracy and efficiency is compared in depth, and their advantages and limitations are analyzed.