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

龙图腾网获悉成都链安科技有限公司申请的专利一种提高智能合约代码缺陷检测精度的方法及系统获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN115310094B 。

龙图腾网通过国家知识产权局官网在2026-04-24发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202210944985.8，技术领域涉及：G06F21/57；该发明授权一种提高智能合约代码缺陷检测精度的方法及系统是由孙海泳设计研发完成，并于2022-08-08向国家知识产权局提交的专利申请。

本一种提高智能合约代码缺陷检测精度的方法及系统在说明书摘要公布了：本发明公开了一种提高智能合约代码缺陷检测精度的方法及系统，通过对智能合约代码进行漏洞规则以及安全属性的验证，从多方面对智能合约代码进行漏洞检测，提高了智能合约代码的检测精度，并且结合合约基础分析信息以及合约高级分析信息，能够对智能合约代码进行更全面的分析，进一步提升智能合约代码的漏洞检测精度。

本发明授权一种提高智能合约代码缺陷检测精度的方法及系统在权利要求书中公布了：1.一种提高智能合约代码缺陷检测精度的方法，其特征在于，包括： 获取智能合约源代码，并获取智能合约源代码的抽象语法树； 对抽象语法树进行解析，得到智能合约代码的合约基础分析信息，包括：解析抽象语法树的合约常量、变量、函数、继承关系以及表达式，并将合约常量、变量、函数、继承关系以及表达式作为智能合约代码的合约基础分析信息； 将合约基础分析信息转换为目标语言代码，得到合约基础分析信息码； 对合约基础分析信息码进行分析，获取合约高级分析信息，包括：确定合约基础分析信息码中的合约常量、变量、函数、继承关系以及表达式之间的关联关系，并以该关联关系作为合约高级分析信息； 根据合约高级分析信息以及合约基础分析信息，进行漏洞规则匹配，得到第一漏洞检测结果； 基于合约高级分析信息，对合约基础分析信息码进行符号标记，得到符号标记后的合约基础分析信息码； 对符号标记后的合约基础分析信息码进行安全属性验证，得到第二漏洞检测结果，包括：执行符号标记后的合约基础分析信息码，实时判断合约基础分析信息码是否满足安全属性模型库中的安全属性规则，若是，则合约基础分析信息码无漏洞，并确定第二漏洞检测结果为无漏洞，否则将合约基础分析信息码中不满足安全属性规则的代码作为第二漏洞检测结果；所述安全属性模型库包括至少一条安全属性规则；在执行过程中，实时判断是否存在符号标记，若是，则进行符号解释，并继续执行，否则将合约基础分析信息码转换为区块链平台目标代码，并真实执行；在执行过程中，还包括：判断是否触发执行条件，若是，则执行该执行条件对应的执行策略，以该执行策略继续执行合约基础分析信息码，否则继续执行合约基础分析信息码，所述执行条件、执行策略及其关联关系均为预先存储数据； 根据所述第一漏洞检测结果以及所述第二漏洞检测结果，生成漏洞检测文档。

如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人成都链安科技有限公司，其通讯地址为：610000 四川省成都市中国(四川)自由贸易试验区成都高新区世纪城南路599号7栋5层505A、505B号；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。

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