恭喜烟台大学赵相福获国家专利权
买专利卖专利找龙图腾,真高效! 查专利查商标用IPTOP,全免费!专利年费监控用IP管家,真方便!
龙图腾网恭喜烟台大学申请的专利基于跨合约控制流图的智能合约漏洞检测方法和系统获国家发明授权专利权,本发明授权专利权由国家知识产权局授予,授权公告号为:CN119885208B 。
龙图腾网通过国家知识产权局官网在2025-06-03发布的发明授权授权公告中获悉:该发明授权的专利申请号/专利号为:202510369114.1,技术领域涉及:G06F21/57;该发明授权基于跨合约控制流图的智能合约漏洞检测方法和系统是由赵相福;张菡峰;杨佳慧;何龙;王世纪;苟乃翔设计研发完成,并于2025-03-27向国家知识产权局提交的专利申请。
本基于跨合约控制流图的智能合约漏洞检测方法和系统在说明书摘要公布了:本发明涉及电数据处理技术领域,具体为基于跨合约控制流图的智能合约漏洞检测方法和系统;为解决现有技术中智能合约误报率和漏报率较高的技术问题,本发明将存在着调用关系的多个智能合约的控制流图进行相连,生成跨合约控制流图,通过构建跨合约控制流图来解决智能合约间不同的调用路径和交互,更清晰地捕捉智能合约的执行逻辑和潜在的漏洞;并基于跨合约控制流图中,智能合约的执行逻辑以及智能合约之间的调用关系,并针对不同的漏洞,设计不同的漏洞检测规则,对智能合约进行漏洞检测,得到漏洞检测结果,与其他先进现有漏洞检测方法进行比较发现,本发明漏洞检测方法可以检测跨合约漏洞,误报率和漏报率低,有效提高了漏洞检测的精确度。
本发明授权基于跨合约控制流图的智能合约漏洞检测方法和系统在权利要求书中公布了:1.一种基于跨合约控制流图的智能合约漏洞检测方法,其特征在于,包括如下操作:S1、将智能合约的字节码转化为操作码,将操作码划分成基本块,根据跳转指令和顺序执行,连接基本块得到控制流图;基于智能合约的控制流图中的外部调用合约指令,获取调用合约,作为目标合约;将智能合约的控制流图,与目标合约的控制流图,以及目标合约外部调用合约的控制流图相连,得到跨合约控制流图;在连接控制流图时,是将第一智能合约的控制流图中外部调用合约指令所在基本块,与第二智能合约的控制流图的根基本块相连;第一智能合约外部调用第二智能合约;S2、基于跨合约控制流图中,智能合约的执行逻辑以及智能合约之间的调用关系,对智能合约进行漏洞检测,得到漏洞检测结果。
如需购买、转让、实施、许可或投资类似专利技术,可联系本专利的申请人或专利权人烟台大学,其通讯地址为:264005 山东省烟台市莱山区清泉路30号;或者联系龙图腾网官方客服,联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。
1、本报告根据公开、合法渠道获得相关数据和信息,力求客观、公正,但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解,仅供参考使用,不能作为本公司承担任何法律责任的依据或者凭证。