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

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

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

本智能合约漏洞检测方法、装置、设备和存储介质在说明书摘要公布了：本申请公开了一种智能合约漏洞检测方法、装置、设备和存储介质，涉及区块链领域，该智能合约漏洞检测方法包括：获取智能合约的形式化部署信息；其中形式化部署信息包括形式化初始状态以及与形式化行为列表；形式化行为列表包括智能合约的初始化执行函数和行为函数；基于形式化初始状态，执行形式化行为列表包括的初始化执行函数和行为函数，得到智能合约的执行结果；根据智能合约的形式化规范库检测智能合约的执行结果，得到漏洞检测结果，该形式化规范库包括智能合约的形式化规范；如此，解决了现有智能合约漏洞检测方法的检测精度较低的问题。

本发明授权智能合约漏洞检测方法、装置、设备和存储介质在权利要求书中公布了：1.一种智能合约漏洞检测方法，其特征在于，所述方法应用于虚拟机服务器，包括： 获取智能合约的形式化部署信息；其中所述形式化部署信息包括形式化初始状态以及与形式化行为列表；所述形式化行为列表包括所述智能合约的初始化执行函数和行为函数； 基于所述形式化初始状态，执行所述形式化行为列表包括的初始化执行函数和行为函数，得到所述智能合约的执行结果； 根据所述智能合约的形式化规范库检测所述智能合约的执行结果，得到漏洞检测结果；所述形式化规范库包括所述智能合约的形式化规范； 所述根据所述智能合约的形式化规范库检测所述智能合约的执行结果，得到漏洞检测结果，包括： 对于每个行为函数，检测基于所述形式化初始状态，执行所述初始化执行函数和所述行为函数的执行结果是否符合所述形式化规范； 若符合，则将所述执行结果与所述形式化初始状态建立关联关系，以及在所述执行结果未包括在所述形式化部署信息中的情况下，将所述执行结果作为新的形式化初始状态包括在所述形式化部署信息中； 若不符合，则上报错误信息； 建立有向图；所述有向图包括与所述形式化初始状态对应的节点，存在关联关系的两个节点用有向边连接； 所述若符合，则将所述执行结果与所述形式化初始状态建立关联关系，包括：若符合，则查看所述有向图中是否存在与所述执行结果对应的节点，若存在，则设置从所述形式化初始状态指向所述节点的有向边，若不存在，则将所述执行结果添加到所述有向图中，同时设置从所述形式化初始状态指向所述执行结果对应的节点的有向边。

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

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