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

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

龙图腾网通过国家知识产权局官网在2026-02-24发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202211634919.7，技术领域涉及：G06F21/57；该发明授权一种基于元操作的智能合约漏洞检测方法和系统是由徐向华;王顺设计研发完成，并于2022-12-19向国家知识产权局提交的专利申请。

本一种基于元操作的智能合约漏洞检测方法和系统在说明书摘要公布了：本发明公开一种基于元操作的智能合约漏洞检测方法与系统。首先把智能合约转换为中间表示，把在中间表示上的基本匹配操作定义为元操作，作为合约代码漏洞检测的基本检测逻辑单元；其次将合约漏洞的检测规则表示为一组元操作的逻辑运算表达式，形成漏洞检测脚本文件。在合约漏洞检测系统中实现所有元操作的检测代码，以及合约漏洞检测规则的解析执行代码；最后系统通过解析漏洞检测脚本文件并执行匹配操作，判断待测智能合约是否存在某种漏洞特征。本发明适用于不同版本智能合约漏洞的检测，通过元操作的重用，减少了很多重复漏洞检测代码编写工作，提高了合约漏洞检测工具的可扩展性。

本发明授权一种基于元操作的智能合约漏洞检测方法和系统在权利要求书中公布了：1.一种基于元操作的智能合约漏洞检测方法，其特征在于，包括：规则描述阶段、规则解析阶段和规则执行阶段； 定义元操作为一种抽象函数表示形式，包含元操作名、变量类型及变量名； 定义逻辑运算符用以描述元操作之间的逻辑运算关系； 定义漏洞检测规则，其代表一种漏洞的检测规则描述形式； 定义漏洞检测脚本文件，其代表一组待检测的合约漏洞； 定义检测代码单元，为元操作所代表的具体检测逻辑的代码片段； 其中规则描述阶段中，通过使用系统中已定义的元操作与逻辑运算符生成漏洞检测脚本文件；使用元操作描述漏洞检测时，按照其抽象函数形式中的入参类型传入对应的类型值； 智能合约漏洞在中间表示IR中呈现的漏洞特征用漏洞检测规则表示； 脚本文件中以顺序的形式列出漏洞检测规则； 其中规则解析阶段中，包括： 通过对漏洞检测脚本文件中的漏洞检测规则进行顺序遍历； 解析每个漏洞检测规则中所有元操作和入参值； 解析漏洞检测规则中所有逻辑运算符，根据运算符的优先级顺序将已解析的代码检测单元按照优先级添加到优先级队列中并保存元操作之间存在的逻辑运算符； 其中规则执行阶段中，包括： 遍历获取优先级队列中的代码检测单元，执行代码检测单元并在中间表示IR上进行路径匹配，若存在相应的检测路径则返回True，否则返回False； 并更新当前已匹配的IR路径为待匹配IR； 将优先级队列中所有的代码检测单元的结果与相应的逻辑运算符进行组合形成逻辑运算表达式； 通过计算逻辑运算表达式返回结果True、False来描述当前智能合约中是否存在特定的漏洞。

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

以上内容由龙图腾AI智能生成。