买专利卖专利找龙图腾，真高效！ 查专利查商标用IPTOP,全免费！专利年费监控用IP管家,真方便！

龙图腾网恭喜哈尔滨工业大学(深圳)(哈尔滨工业大学深圳科技创新研究院)申请的专利一种动静态分析相结合的跨链桥智能合约漏洞检测方法获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN120030554B 。

龙图腾网通过国家知识产权局官网在2025-06-20发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202510508323.X，技术领域涉及：G06F21/57；该发明授权一种动静态分析相结合的跨链桥智能合约漏洞检测方法是由何道敬;郑溢设计研发完成，并于2025-04-22向国家知识产权局提交的专利申请。

本一种动静态分析相结合的跨链桥智能合约漏洞检测方法在说明书摘要公布了：本发明提供一种动静态分析相结合的跨链桥智能合约漏洞检测方法及装置，涉及区块链智能合约漏洞检测技术领域。该方法包括：根据智能合约字节码构建跨链控制流图以及跨链数据流图；基于易受攻击函数，根据跨链控制流图以及跨链数据流图进行污点分析，获得跨链漏洞信息；基于静态分析方法，根据单链控制流图、单链数据流图和应用程序二进制接口，通过新型种子初始化算法进行种子生成，获得初始种子池；基于动态数据流反馈机制，根据初始种子池、智能合约字节码、单链数据流图和单合约漏洞模式进行动态模糊测试，获得单链漏洞信息。本发明是一种结合动态分析与静态分析的漏洞检测类型全面的跨链桥智能合约漏洞检测方法。

本发明授权一种动静态分析相结合的跨链桥智能合约漏洞检测方法在权利要求书中公布了：1.一种动静态分析相结合的跨链桥智能合约漏洞检测方法，其特征在于，所述方法包括：S1、在以太坊虚拟机环境中，获取待检测的智能合约字节码以及应用程序二进制接口；S2、基于反编译器、神经机器翻译模型和SmartDagger工具，根据智能合约字节码构建单链控制流图以及单链数据流图；S3、基于事件检索方法，根据单链控制流图以及单链数据流图进行整合连接，获得跨链控制流图以及跨链数据流图；S4、基于跨链语义检查以及访问控制约束条件检查，根据跨链控制流图以及跨链数据流图进行漏洞检查，获得易受攻击函数；S5、基于易受攻击函数，根据跨链控制流图以及跨链数据流图进行污点分析，获得跨链漏洞信息；S6、基于静态分析方法，根据单链控制流图、单链数据流图和应用程序二进制接口，通过新型种子初始化算法进行种子生成，获得初始种子池；其中，所述基于静态分析方法，根据单链控制流图、单链数据流图和应用程序二进制接口，通过新型种子初始化算法进行种子生成，获得初始种子池，包括：S61、根据单链控制流图以及单链数据流图，使用静态分析方法进行信息元组构建，获得信息四元组；S62、基于Def-Use链，根据信息四元组构建函数调用序列集合；S63、根据应用程序二进制接口以及信息四元组，将函数调用序列集合的每个函数调用序列转换为交易序列，获得初始种子池；S7、基于动态数据流反馈机制，根据初始种子池、智能合约字节码、单链数据流图和单合约漏洞模式进行动态模糊测试，获得单链漏洞信息；S8、根据单链漏洞信息以及跨链漏洞信息生成漏洞检测报告。

如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人哈尔滨工业大学(深圳)(哈尔滨工业大学深圳科技创新研究院)，其通讯地址为：518000 广东省深圳市南山区桃源街道深圳大学城哈尔滨工业大学校区；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。