| 专利号 | 2023105568227 | 申请日 | 2023-05-17 | 专利名称 | 一种智能合约安全漏洞检测方法和系统 |
| 授权日 | 2024-03-29 | 专利权人 | 烟台大学 | 发明人 | 赵相福;陈海悦;刘兆伟;赵金东;王奕辰;何龙;甄子贤 |
| 主分类号 | G06F11/36 | 关键词 | 应用领域 | ||
| 摘要 | 本发明涉及网络安全技术领域，具体为一种智能合约安全漏洞检测方法和系统，将智能合约字节码反编译处理为三地址码形式的中间语言，并构建智能合约的控制流图，提取控制流图的语义信息并存储为Datalog事实，以更好地表示智能合约的数据和控制流依赖关系，基于Datalog事实定义前提条件，获得Datalog规则，提供漏洞分析框架，分析智能合约的经典漏洞特征，定义漏洞检测逻辑，将漏洞检测逻辑和Datalog规则结合，检测智能合约，输出漏洞检测结果，该检测方法采用静态程序分析，能够无需执行合约就可以达到比较高的覆盖率，从而检测更多的漏洞，具有低漏报率和高准确率的效果。 | ||||
| 创新点 | |||||
| 技术分类 | 标 签 | 战兴产业 | 新一代信息技术 新兴软件和新型信息技术服务 | ||
| 运营方式 | 合作方式 | ||||
| 联系人 | 联系电话 | 电子邮箱 | |||
| 详细说明 | |||||
