基于可疑目标关联性的智能合约导向模糊测试方法

本发明公开了基于可疑目标关联性的智能合约导向模糊测试方法，该方法包括：可疑目标识别阶段：获取待测程序编译并分析智能合约传，构建可疑节点的可疑漏洞路径，计算遗算法种子执行路径距离已知可疑节点的基本块距离。关联性分析阶段：分析种子的函数序列与可疑函数之间的数据依赖关系，为种子标记状态变量、函数入参分别与可疑目标的关联性标签。导向模糊测试阶段：采用可疑目标导向的进化算法生成新种子，在以太坊虚拟机中执行新种子并检测漏洞。本发明能够精确识别与漏洞执行密切相关的状态变量和函数入参，显著提高生成逼近可疑目标代码的种子效率，减少测试资源在良性代码区域的浪费。