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

龙图腾网获悉北京物资学院申请的专利一种区块链智能合约语义图的生成方法获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN119990293B 。

龙图腾网通过国家知识产权局官网在2026-02-10发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202510065052.5，技术领域涉及：G06N5/025；该发明授权一种区块链智能合约语义图的生成方法是由李洁;杨晓玉;赵玉成;邹奕丹;丁毅;靳军;刘媚;宋浩设计研发完成，并于2025-01-15向国家知识产权局提交的专利申请。

本一种区块链智能合约语义图的生成方法在说明书摘要公布了：一种区块链智能合约语义图的生成方法，可以根据定义的智能合约语义规则实现语义执行过程的状态图，从而在语义验证过程中，提取有效的漏洞信息。本发明包括：定义智能合约的BNF语法和形式语义、与状态存储相关的配置表、函数调用序列，按形式语义规则逐步执行智能合约并生成状态执行序列，从状态执行序列中提取要验证的起始状态和终止状态，按照可达性断言模板形成可达性断言，使用语义验证器对可达性断言进行验证，生成语义图。语义图包括智能合约语义信息、语义控制流信息、语义数据流信息、验证约束信息，可用于漏洞检测分析、符号执行分析。本方法能从形式语义层面展示合约执行过程，发现语义级别的漏洞。

本发明授权一种区块链智能合约语义图的生成方法在权利要求书中公布了：1.一种区块链智能合约语义图的生成方法，其特征在于，包括： 根据智能合约规范定义语法和语义，其中语法以巴科斯范式BNF定义，语义以符合重写逻辑的规则形式定义，智能合约相关语义包括输入合约、函数的调用序列、初始账户信息、约束信息； 将编写的智能合约语义集编译生成语义解释器和语义验证器； 接收用户输入的智能合约程序，其中包括用户自定义安全属性和函数调用序列； 将所述智能合约程序输入到生成的语义解释器中，通过推理深度Depth数组对全部推理过程进行编号，生成程序执行状态序列，每一步均生成一个Cell形式的集合，包含智能合约的信息、函数信息、存储槽信息、执行引擎； 基于Depth数组得到一系列State集合，通过分支节点或者疑似有问题的状态，抽取需要探索的初始状态Statei和末状态Statej，再根据可达性断言生成器中的模板和规则，对Statei和Statej进行逐项状态对齐，生成基于重写逻辑的可达性断言； 在可达性证明系统中，提取可达性断言所对应的不同状态信息，将末状态作为路径探索的叶子节点，初始状态作为根节点，输入符号化约束条件组成属性规约，并将属性规约输入到语义验证器； 所述语义验证器根据重写规则和简化规则进行路径探索，生成智能合约语义图，所述语义图中包含合约语义执行规则、语义控制流、语义数据流、验证约束信息； 根据所述语义图进行语义图分析，可以根据结果，进行符号执行，将部分调用信息符号化，以迭代生成更多执行路径，捕捉潜在的漏洞信息，达到漏洞检测效果； 根据结果，对智能合约迭代优化，直到生成的语义图满足验证约束要求。

如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人北京物资学院，其通讯地址为：101149 北京市通州区富河大街321号；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。

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