一种动静结合的智能合约漏洞检测方法

本发明公开了一种动静结合的智能合约漏洞检测方法，属于软件测试、漏洞检测以及智能合约安全等领域。当智能合约漏洞检测忽略跨合约场景下多个智能合约之间的相互影响和调用路径，将会产生大量的误报和漏报，降低漏洞检测的准确性。本方法在数据流依赖和控制流依赖基础上定义跨合约调用依赖，进而构建跨合约场景下的智能合约依赖图ICDG(Inter‑Contract Dependency Graph，ICDG)，已完整表示多方智能合约之间的依赖关系，及复杂智能合约应用的交互逻辑。本方法基于历史交易信息进行跨合约调用挖掘及评价，并设计启发式逆向搜索策略和遗传算法，基于ICDG进行漏洞检测。本方法在单智能合约漏洞检测是可行有效的，并可提升跨合约场景下智能合约漏洞检测效果。