一种基于符号执行的WASM智能合约漏洞检测方法

摘要

本发明提出了一种基于符号执行的WASM智能合约漏洞检测方法，属于软件测试技术领域，通过对待分析的智能合约的WebAssembly字节码构建可执行实例，调用各实例中的初始化函数对运行环境的状态进行初始化，并填充运行环境的内存区和数据区的数值；进一步根据函数签名中的索引调用函数体进行符号执行，遍历字节码层次智能合约的执行路径，用以探索智能合约实际运行时可能存在的状态，并依据此状态进行智能合约潜在安全漏洞的分析。此外，针对不同区块链平台的库函数使用了通用函数接口和专用函数实现进行仿真支持，确保符号执行过程的完整性。通过设置循环上限和分支访问上限，解决符号执行中的路径爆炸问题和覆盖率问题。