基于符号执行的多路径状态智能合约漏洞检测
来源：计算机应用与软件杂志2025年第7期北京时间：
作者：陈文轩, 张子蛟, 秦伟伦
摘要：智能合约—经部署就无法更改的特点导致合约上链前需要严格的代码审查机制。针对现有检测工具对复杂路径检测低效，循环处理粗糙的缺点，提出一种以目标为导向的符号执行路径搜索策略。以静态分析插桩结果引导路径搜索引擎快速到达危险指令位置添加检测模块，同时对程序中的循环结构进行前向迭代查询，抽取循环子集和变量以在边界处依据指令类型进行检测。实验在以太坊网络上选取 114 份包含溢出漏洞和重入危险的合约检测，实验结果表明有 14.28% 的正确率提升和 1.61 倍的时间效率提升。
关键词：区块链安全 智能合约 符号执行 漏洞检测 以太坊
