淄博市知识产权公共服务平台

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