电子科技大学牛伟纳获国家专利权
买专利卖专利找龙图腾,真高效! 查专利查商标用IPTOP,全免费!专利年费监控用IP管家,真方便!
龙图腾网获悉电子科技大学申请的专利一种跨合约重入攻击检测方法及系统获国家发明授权专利权,本发明授权专利权由国家知识产权局授予,授权公告号为:CN115017515B 。
龙图腾网通过国家知识产权局官网在2025-11-25发布的发明授权授权公告中获悉:该发明授权的专利申请号/专利号为:202210618214.X,技术领域涉及:G06F21/57;该发明授权一种跨合约重入攻击检测方法及系统是由牛伟纳;肖涛;张小松;王天瑞;周孝笑;陈曦;杨文武;陈瑞东设计研发完成,并于2022-06-01向国家知识产权局提交的专利申请。
本一种跨合约重入攻击检测方法及系统在说明书摘要公布了:本发明对区块链智能合约,提供了一种跨合约重入攻击检测方法及系统,主旨在于解决由于智能合约代码不严谨而导致的漏洞被利用的问题,其主要方案包括合约处理模块:分析智能合约源码,构建出待检测合约的跨合约调用图;静态分析模块:针对生成的跨合约调用图进行静态污点分析,得到可疑的污点路径;路径确认模块:基于支付前验证、支付地址硬编码、交易锁保护等规则,对可疑的路径进行审查,最终输出重入漏洞路径检测结果。
本发明授权一种跨合约重入攻击检测方法及系统在权利要求书中公布了:1.一种跨合约重入攻击检测系统,其特征在于: 合约处理模块:输入待检测的合约,对智能合约的源码进行分析,生成智能合约的跨合约函数调用图; 静态分析模块:对跨合约函数调用图进行处理,针对生成的跨合约函数调用图进行静态污点分析,得到可疑的污点路径; 路径确认模块:基于支付前验证、支付地址硬编码、执行锁保护、自定义修饰器保护、交易前内部更新规则,对可疑的路径进行综合审查,最终输出重入攻击路径检测结果; 合约处理模块的输入是Solidity编写的智能合约,收集从外部函数开始的所有调用,具体包括以下步骤: 步骤2.1、通过Solidity程序构建跨合约调用图,生成有向的跨合约调用图,跨合约调用图的节点是Solidity函数,有向边代表着调用关系; 步骤2.2、添加fallback函数和自定义修饰器所代表的边,以得到更为准确的跨合约调用图; 步骤2.3、对于跨合约调用图内的每一个函数,经过抽象语法分析器作用后生成合约内部函数调用图; 步骤2.4、由步骤2.2得到的跨合约调用图和2.3得到的合约内部函数调用图相结合,得到最终所需的跨合约函数调用图,根据跨合约函数调用图得到调用链; 静态分析模块对跨合约函数调用图进行静态污点分析,分析的目标是跨合约调用图中,所有从可疑合约地址开始,以外部函数调用结束的调用关系,在跨合约函数调用图里,如果一条路径满足以下任一条件,那么则认为该路径为遭受重入攻击的脆弱路径: 1合约对象调用了其任意公有方法; 2地址变量调用了任意低级函数。
如需购买、转让、实施、许可或投资类似专利技术,可联系本专利的申请人或专利权人电子科技大学,其通讯地址为:611731 四川省成都市高新区(西区)西源大道2006号;或者联系龙图腾网官方客服,联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。
以上内容由龙图腾AI智能生成。
1、本报告根据公开、合法渠道获得相关数据和信息,力求客观、公正,但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解,仅供参考使用,不能作为本公司承担任何法律责任的依据或者凭证。

皖公网安备 34010402703815号
请提出您的宝贵建议,有机会获取IP积分或其他奖励