| 专利号 | 2024118452702 | 申请日 | 2024-12-16 | 专利名称 | 基于混合模糊测试优化的智能合约漏洞检测方法、系统 |
| 授权日 | 2025-09-26 | 专利权人 | 烟台大学 | 发明人 | 赵相福;杨佳慧;张菡峰;何龙;苟乃翔;王世纪;王腾飞 |
| 主分类号 | G06F21/57 | 关键词 | 应用领域 | ||
| 摘要 | 本发明涉及网络安全、漏洞检测技术领域，具体为一种基于混合模糊测试优化的智能合约漏洞检测方法、系统，对编译后EVM字节码进行静态分析生成第一测试用例集，进行模糊测试，同时引入污点分析跟踪污点在指令流中的传播。在模糊测试过程中根据执行次数阈值内指令计数集的长度变化，在长度变化值为0时触发符号执行处理，在符号执行处理过程中，采取约束缓存重用策略对获取的约束表达式进行求解，并对求解结果进行缓存和重用，使得符号执行能够快速生成到达复杂分支的用例值，并反馈至模糊引擎以辅助其探索到新路径捕捉更多深层次的漏洞；同时对权限控制、交易顺序依赖、拒绝服务三种智能合约漏洞设计测试预言，漏洞检测更为准确。 | ||||
| 创新点 | |||||
| 技术分类 | 标 签 | 战兴产业 | 新一代信息技术 下一代信息网络产业 | ||
| 运营方式 | 合作方式 | ||||
| 联系人 | 联系电话 | 电子邮箱 | |||
| 详细说明 | |||||
