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

龙图腾网获悉中国人民银行数字货币研究所申请的专利智能合约漏洞检测方法、装置、设备和存储介质获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN115062312B 。

龙图腾网通过国家知识产权局官网在2025-11-28发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202210736683.1，技术领域涉及：G06F21/57；该发明授权智能合约漏洞检测方法、装置、设备和存储介质是由刘自强设计研发完成，并于2022-06-27向国家知识产权局提交的专利申请。

本智能合约漏洞检测方法、装置、设备和存储介质在说明书摘要公布了：本申请公开了一种智能合约漏洞检测方法、装置、设备和存储介质，涉及区块链领域，该智能合约漏洞检测方法包括：解析智能合约的源代码，得到智能合约的源代码中各个函数的运行逻辑和函数间调用关系；智能合约的源代码包括多个函数；根据虚拟机的函数运行规则，调整函数的运行逻辑，得到函数的新的运行逻辑；根据函数的新的运行逻辑和函数间调用关系生成形式化规则；根据形式化规则进行智能合约的漏洞检测，得到漏洞检测结果；解决了现有智能合约漏洞检测方法的检测精度较低的问题。

本发明授权智能合约漏洞检测方法、装置、设备和存储介质在权利要求书中公布了：1.一种智能合约漏洞检测方法，其特征在于，包括： 获取虚拟机特征； 将所述虚拟机特征进行形式化处理，得到所述虚拟机的函数运行规则； 将所述函数运行规则存储到虚拟机形式化特征库； 解析智能合约的源代码，得到所述智能合约包括的函数的运行逻辑和函数间调用关系；所述智能合约的源代码包括多个函数； 根据虚拟机的函数运行规则，调整所述函数的运行逻辑，得到所述函数的新的运行逻辑；其中，所述函数运行规则包括对虚拟机特征进行形式化处理得到的运行规则；所述虚拟机特征为所述虚拟机运行所述函数的过程中影响所述函数的运行逻辑的特征；所述函数的新的运行逻辑与所述函数在所述虚拟机上的实际运行逻辑相匹配； 根据所述函数的新的运行逻辑和所述函数间调用关系生成形式化规则；其中，所述形式化规则用于规定基于所述函数的新的运行逻辑运行所述函数时应满足的运行规则；所述形式化规则包括形式化逻辑描述和形式化规范描述；所述形式化逻辑描述表征所述智能合约包括的函数在虚拟机的运行逻辑，所述形式化规范描述表征所述智能合约包括的函数在运行过程中应满足的运行规则； 将所述形式化逻辑描述转换为形式化逻辑代码，以及将所述形式化规范描述转换为形式化验证规范； 执行所述形式化逻辑代码，得到执行结果； 根据所述执行结果以及所述形式化验证规范，生成漏洞检测结果，所述漏洞检测结果表征所述执行结果是否符合所述形式化验证规范。

如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人中国人民银行数字货币研究所，其通讯地址为：100071 北京市丰台区丰台北路18号金唐中心A座20层；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。

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