登录    注 册
属 地 烟台 莱山区 专利申请号 2025103691141 专利权人 烟台大学
申请日 2025-03-27 授权日 2025-06-03 专利名称 基于跨合约控制流图的智能合约漏洞检测方法和系统
关键词 应用领域
创新点
技术分类 标 签 战兴产业     
地 址 山东省烟台市莱山区清泉路30号
运营方式 普通许可,专利转移 合作方式 普通技术转移
联系人 王大伟 联系电话 13708925422 电子邮箱
详细说明
本发明涉及电数据处理技术领域,具体为基于跨合约控制流图的智能合约漏洞检测方法和系统;为解决现有技术中智能合约误报率和漏报率较高的技术问题,本发明将存在着调用关系的多个智能合约的控制流图进行相连,生成跨合约控制流图,通过构建跨合约控制流图来解决智能合约间不同的调用路径和交互,更清晰地捕捉智能合约的执行逻辑和潜在的漏洞;并基于跨合约控制流图中,智能合约的执行逻辑以及智能合约之间的调用关系,并针对不同的漏洞,设计不同的漏洞检测规则,对智能合约进行漏洞检测,得到漏洞检测结果,与其他先进现有漏洞检测方法进行比较发现,本发明漏洞检测方法可以检测跨合约漏洞,误报率和漏报率低,有效提高了漏洞检测的精确度。
【关 闭】