鹏城实验室王泽旭获国家专利权
买专利卖专利找龙图腾,真高效! 查专利查商标用IPTOP,全免费!专利年费监控用IP管家,真方便!
龙图腾网获悉鹏城实验室申请的专利漏洞检测方法、装置、计算机设备及可读存储介质获国家发明授权专利权,本发明授权专利权由国家知识产权局授予,授权公告号为:CN118860406B 。
龙图腾网通过国家知识产权局官网在2025-11-04发布的发明授权授权公告中获悉:该发明授权的专利申请号/专利号为:202410867979.6,技术领域涉及:G06F8/41;该发明授权漏洞检测方法、装置、计算机设备及可读存储介质是由王泽旭;冯禹铭;郑子彬;张宇;张伟哲设计研发完成,并于2024-06-28向国家知识产权局提交的专利申请。
本漏洞检测方法、装置、计算机设备及可读存储介质在说明书摘要公布了:本申请实施例提供了一种漏洞检测方法、装置、计算机设备及可读存储介质,属于区块链技术领域。获取待测智能合约的待测源码;通过对待测源码进行语法结构的解析,得到待测源码对应的抽象语法树;获取待测智能合约的控制流向图,并根据抽象语法树对控制流向图进行调用关系的补全,得到跨合约控制流向图;基于跨合约控制流向图中各语句节点的依赖关系,构建全局状态依赖图;基于全局状态依赖图对待测智能合约进行漏洞污点分析,得到待测智能合约的漏洞检测结果。以此,能够提高漏洞检测的全面性和准确性。
本发明授权漏洞检测方法、装置、计算机设备及可读存储介质在权利要求书中公布了:1.一种漏洞检测方法,其特征在于,所述方法包括: 获取待测智能合约的待测源码; 对所述待测源码进行语法结构的解析,得到所述待测源码对应的抽象语法树; 获取所述待测智能合约的控制流向图,并基于所述抽象语法树确定所述待测源码中存在跨合约调用的目标节点,并对所述目标节点进行标记;基于已标记的所述目标节点,确定所述目标节点跨合约调用的第一智能合约;获取所述第一智能合约的第一控制流向图,并将所述目标节点作为控制转移,以所述控制流向图为中心,根据所述第一控制流向图与所述待测智能合约的所述控制流向图进行所述目标节点的边连接,得到跨合约控制流向图;根据所述抽象语法树,确定所述跨合约控制流向图中各语句节点的函数名和变量名;将所述函数名和所述变量名注入所述跨合约控制流向图中,得到更新后的跨合约控制流向图; 基于所述跨合约控制流向图,对各语句节点执行数据流动的检测,得到检测结果;当所述检测结果表征任意两个所述语句节点存在数据依赖关系时,在所述跨合约控制流向图中对所述数据依赖关系进行标注,得到全局状态依赖图;或者,当所述检测结果表征任意两个所述语句节点存在控制依赖关系时,在所述跨合约控制流向图中对所述控制依赖关系进行标注,得到全局状态依赖图;其中,所述数据依赖关系是一个变量的值依赖于另一个变量的值,所述控制依赖关系是程序执行的顺序依赖于对应语句的执行结果,所述数据依赖关系分为真数据依赖、输出数据依赖和反数据依赖,所述真数据依赖当一个变量的定义直接影响到另一个变量的使用时发生,所述输出数据依赖当两个语句写同一个变量时发生,所述反数据依赖当一个变量的定义影响到另一个变量的定义时发生;所述全局状态依赖图的节点为跨合约控制流向图的语句节点,边为所述控制依赖关系或者所述数据依赖关系; 基于所述全局状态依赖图对所述待测智能合约进行漏洞污点分析,得到所述待测智能合约的漏洞检测结果。
如需购买、转让、实施、许可或投资类似专利技术,可联系本专利的申请人或专利权人鹏城实验室,其通讯地址为:518000 广东省深圳市南山区兴科一街2号;或者联系龙图腾网官方客服,联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。
以上内容由龙图腾AI智能生成。
1、本报告根据公开、合法渠道获得相关数据和信息,力求客观、公正,但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解,仅供参考使用,不能作为本公司承担任何法律责任的依据或者凭证。

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