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

龙图腾网获悉杭州电子科技大学申请的专利基于运行操作码的跨合约漏洞检测方法及系统获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN117951710B 。

龙图腾网通过国家知识产权局官网在2025-05-27发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202311798859.7，技术领域涉及：G06F21/57；该发明授权基于运行操作码的跨合约漏洞检测方法及系统是由徐向华;黄志强设计研发完成，并于2023-12-25向国家知识产权局提交的专利申请。

本基于运行操作码的跨合约漏洞检测方法及系统在说明书摘要公布了：本发明公开一种基于运行操作码的跨合约漏洞检测方法及系统。本发明通过预处理阶段获取基本数据信息，模糊测试阶段将预处理阶段生成的测试用例通过构建动态跨合约控制流图模块生成的跨合约控制流图来获取可疑跨合约调用链，用于引导py‑EVM执行获取运行操作码序列，并且利用合约属性参数进行变异；动态过程阶段构建动态跨合约控制流图，对合约属性参数化；动态跨合约控制流图通过运行操作码和静态操作码分别构建静态和动态跨合约控制流图，并不断重合计算更新获取；最后将模糊测试阶段生成的运行操作码序列交由漏洞检测阶段生成漏洞报告。本发明适用于智能合约跨合约漏洞检测，可扩展性强、漏洞检测准确率高。

本发明授权基于运行操作码的跨合约漏洞检测方法及系统在权利要求书中公布了：1.基于运行操作码的跨合约漏洞检测方法，其特征在于包括预处理阶段、模糊测试阶段、动态过程阶段、漏洞检测阶段：预处理阶段：将智能合约源代码文件进行预处理，获取合约静态字节码、抽象语法树、应用程序二进制接口、测试用例的数据信息；模糊测试阶段：将预处理阶段生成的测试用例通过构建动态跨合约控制流图模块生成的跨合约控制流图来获取可疑跨合约函数调用链，用于引导py-EVM执行，获取运行操作码序列，并且利用合约属性参数化模块获取的合约属性取值范围对相应测试用例中的合约属性参数进行变异；动态过程阶段：包含动态跨合约控制流图构建和合约属性参数化过程；动态跨合约控制流图构建：通过模糊测试阶段生成的运行操作码和预处理阶段得到的静态操作码分别构建静态和动态跨合约控制流图，并不断重合计算和更新获取最终的动态跨合约控制流图；合约属性参数化过程：通过对合约属性进行修改的源代码语句进行正则匹配、分析得到步长，再结合预处理阶段得到的合约属性集合，最后生成新的合约以及合约属性变异的取值范围；漏洞检测阶段：对模糊测试阶段生成的运行操作码序列进行漏洞检测并生成漏洞报告。

如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人杭州电子科技大学，其通讯地址为：310018 浙江省杭州市下沙高教园区2号大街；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。