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.
关键词
智能合约/漏洞检测/符号执行/关键路径预搜索/区块链安全
Key words
smart contract/vulnerability detection/symbol execution/pre-search of criti-cal path/blockchain security
维普
万方数据