中山大学郑子彬获国家专利权
买专利卖专利找龙图腾,真高效! 查专利查商标用IPTOP,全免费!专利年费监控用IP管家,真方便!
龙图腾网获悉中山大学申请的专利智能合约重入漏洞检测方法、装置、存储介质及相关设备获国家发明授权专利权,本发明授权专利权由国家知识产权局授予,授权公告号为:CN114595464B 。
龙图腾网通过国家知识产权局官网在2025-12-05发布的发明授权授权公告中获悉:该发明授权的专利申请号/专利号为:202210264344.8,技术领域涉及:G06F21/57;该发明授权智能合约重入漏洞检测方法、装置、存储介质及相关设备是由郑子彬;钟志杰设计研发完成,并于2022-03-17向国家知识产权局提交的专利申请。
本智能合约重入漏洞检测方法、装置、存储介质及相关设备在说明书摘要公布了:本申请提供的智能合约重入漏洞检测方法、装置、存储介质及相关设备,在检测智能合约源代码中是否包含重入漏洞时,可以先构建与待检测的智能合约源代码对应的抽象语法树,接着确定该抽象语法树的原始控制流信息和原始数据流信息,由于原始控制流信息和原始数据流信息是在抽象语法树的基础上确定的,考虑了跨函数的控制流与数据流的关系,因此可以避免由于跨函数信息导致的错误检测结果;进一步地,本申请还可以利用预先构建的重入漏洞关键词库对原始控制流信息和原始数据流信息进行筛选,从而使得筛选得到的关键控制流信息和关键数据流信息中包含多种类型的函数,这样可以将本申请的检测方法应用于任意智能合约的重入漏洞检测。
本发明授权智能合约重入漏洞检测方法、装置、存储介质及相关设备在权利要求书中公布了:1.一种智能合约重入漏洞检测方法,其特征在于,所述方法包括: 构建与待检测的智能合约源代码对应的抽象语法树,并确定所述抽象语法树的原始控制流信息和原始数据流信息;其中,所述原始控制流信息包括函数内部控制流信息和跨函数控制流信息,所述原始数据流信息包括函数内部数据流信息和跨函数数据流信息; 利用预先构建的重入漏洞关键词库对所述原始控制流信息和所述原始数据流信息进行筛选,得到关键控制流信息和关键数据流信息; 根据所述关键控制流信息和所述关键数据流信息,在所述抽象语法树上添加关键控制流边和关键数据流边,形成代码属性图; 将所述代码属性图输入至预先配置的重入漏洞检测模型中,得到所述重入漏洞检测模型输出的检测结果,根据所述检测结果确定所述智能合约源代码中是否包含重入漏洞; 所述利用预先构建的重入漏洞关键词库对所述原始控制流信息和所述原始数据流信息进行筛选,得到关键控制流信息和关键数据流信息,包括: 将预先构建的重入漏洞关键词库中的各个关键词,分别与所述原始控制流信息中的函数名,以及所述原始数据流信息中的变量名进行比对; 将与所述关键词重合的函数名对应的原始控制流信息作为关键控制流信息,将与所述关键词重合的变量名对应的原始数据流信息作为关键数据流信息。
如需购买、转让、实施、许可或投资类似专利技术,可联系本专利的申请人或专利权人中山大学,其通讯地址为:510275 广东省广州市新港西路135号;或者联系龙图腾网官方客服,联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。
以上内容由龙图腾AI智能生成。
1、本报告根据公开、合法渠道获得相关数据和信息,力求客观、公正,但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解,仅供参考使用,不能作为本公司承担任何法律责任的依据或者凭证。

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