本发明涉及网络安全、漏洞检测技术领域,具体为一种基于混合模糊测试优化的智能合约漏洞检测方法、系统,对编译后EVM字节码进行静态分析生成第一测试用例集,进行模糊测试,同时引入污点分析跟踪污点在指令流中的传播。在模糊测试过程中根据执行次数阈值内指令计数集的长度变化,在长度变化值为0时触发符号执行处理,在符号执行处理过程中,采取约束缓存重用策略对获取的约束表达式进行求解,并对求解结果进行缓存和重用,使得符号执行能够快速生成到达复杂分支的用例值,并反馈至模糊引擎以辅助其探索到新路径捕捉更多深层次的漏洞;同时对权限控制、交易顺序依赖、拒绝服务三种智能合约漏洞设计测试预言,漏洞检测更为准确。 |