Smart Contract Vulnerability Detection of Symbol Execution with Critical Path Pre-searching
This paper proposes a pre-searching paths for symbolic execution method to guide the critical path symbol execution of scanning smart contract vulnerabilities through static detection.This approach aims to avoid unnecessary resource consumption of path search,thereby achieving accurate and fast smart contract vulnerability detection.This method is compared with existing mainstream detection tools.The results show that the Gas exhaustion denial of service vulnerability coverage reaches 98％,with a detection ac-curacy of 84.3％,which is far higher than the average value of 37.2％.Furthermore,the full coverage of storage coverage vulnerability contracts is realized with a detection accuracy of 86.1％,which validates the efficiency and stability of this method.
smart contractvulnerability detectionsymbol executionpre-search of criti-cal pathblockchain security
万方数据
维普
