| 专利号 | 2024111100878 | 申请日 | 2024-08-14 | 专利名称 | 基于约束引导模糊测试的智能合约漏洞检测方法和系统 |
| 授权日 | 2024-12-20 | 专利权人 | 烟台大学 | 发明人 | 赵相福;何龙 |
| 主分类号 | G06F11/36 | 关键词 | 应用领域 | ||
| 摘要 | 本发明涉及智能合约漏洞检测领域，具体为一种基于约束引导模糊测试的智能合约漏洞检测方法和系统，采用约束引导灰盒模糊测试的方式对智能合约进行漏洞检测，对智能合约的数据流和控制流进行静态分析，基于静态分析结果引入一种全新的智能合约约束模板，并将约束模板以代码插桩的方式分别插入到对应的分支节点的前或后位置，对智能合约的执行进行引导，确保模糊测试在覆盖目标代码的同时容易到达目标代码位置，满足所需的执行状态。根据函数调用序列设置模糊器中函数的测试顺序和优先级，以在最短时间内发现漏洞，可以降低模糊测试的时间消耗，提高漏洞检测的效率。 | ||||
| 创新点 | |||||
| 技术分类 | 标 签 | 战兴产业 | 新一代信息技术 新兴软件和新型信息技术服务 | ||
| 运营方式 | 合作方式 | ||||
| 联系人 | 联系电话 | 电子邮箱 | |||
| 详细说明 | |||||
