| 专利号 | 2024100909319 | 申请日 | 2024-01-23 | 专利名称 | 基于静态分析与模糊测试结合的智能合约漏洞检测方法 |
| 授权日 | 2024-11-05 | 专利权人 | 烟台大学 | 发明人 | 赵相福;杨佳慧;张菡峰;陈海悦;何龙 |
| 主分类号 | G06F21/57 | 关键词 | 应用领域 | ||
| 摘要 | 本发明涉及网络安全技术领域，具体为基于静态分析与模糊测试结合的智能合约漏洞检测方法；该漏洞检测方法，首先基于关键变量静态提取函数调用序列，以引导产生符合交易序列的测试用例；然后，基于函数调用序列生成初始测试用例，接着将测试用例进行交叉变换和经函数层面的变异处理和交易层面的变异处理，生成高质量的变异测试用例；最后，根据测试预言，利用变异测试用例遍历智能合约执行路径，得到漏洞检测结果；该检测方法，与现有工具相比，具有较高的代码覆盖率，能检测到更多数量的漏洞，且检测效果更为准确，平均准确率提高了约10％，同时平均代码覆盖率比目前较为先进的模糊测试工具提高了约14％。 | ||||
| 创新点 | |||||
| 技术分类 | 标 签 | 战兴产业 | 新一代信息技术 下一代信息网络产业 | ||
| 运营方式 | 合作方式 | ||||
| 联系人 | 联系电话 | 电子邮箱 | |||
| 详细说明 | |||||
