| 专利号 | 2024103045718 | 申请日 | 2024-03-18 | 专利名称 | 一种基于中间表示的智能合约漏洞检测方法、系统和设备 |
| 授权日 | 2024-08-20 | 专利权人 | 烟台大学 | 发明人 | 赵相福;王世纪;何龙;苟乃翔;杨佳慧;张菡峰 |
| 主分类号 | G06F21/57 | 关键词 | 应用领域 | ||
| 摘要 | 本发明涉及网络安全技术领域,具体为一种基于中间表示的智能合约漏洞检测方法、系统和设备;该检测方法,将待检智能合约的Solidity代码转换为中间表示,既简化了合约分析过程,又能够保留Solidity源代码中的重要语义信息,在保证漏洞分析准确的基础上,减小计算量,提高计算稳定性;该检测方法将中间表示与不同漏洞检测逻辑结合,分别对重入漏洞、拒绝服务漏洞检测和交易顺序依赖漏洞进行检测,检测结果具有较高的精确率、召回率和F1分数。 | ||||
| 创新点 | |||||
| 技术分类 | 标 签 | 战兴产业 | 新一代信息技术  下一代信息网络产业 | ||
| 运营方式 | 合作方式 | ||||
| 联系人 | 联系电话 | 电子邮箱 | |||
| 详细说明 | |||||