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

龙图腾网获悉中南民族大学;武汉空天软件技术有限公司申请的专利一种基于Go语言可执行形式化语义的程序漏洞分析方法获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN113868136B 。

龙图腾网通过国家知识产权局官网在2025-07-11发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202111141171.2，技术领域涉及：G06F11/3668；该发明授权一种基于Go语言可执行形式化语义的程序漏洞分析方法是由孟博;刘琴;王德军;赵璨设计研发完成，并于2021-09-28向国家知识产权局提交的专利申请。

本一种基于Go语言可执行形式化语义的程序漏洞分析方法在说明书摘要公布了：本发明提供了一种基于Go语言可执行形式化语义的程序漏洞分析方法，包括：1对GO语言的官方给出的拓展巴克斯范式进行研究，并结合K框架可支持的BNF语法格式，提出把GO[EBNF]转化为一般巴克斯范式的方法，得到了GO[BNF]；2依据GO[BNF]和Go语言的特点，应用K框架，基于重写逻辑，定义Go语言的可执行语义GO[KS]；3采用基于测试用例的方法分析GO[KS]的正确性，分别在K框架和IntelliJIDEA工具中单个执行测试用例，通过比较每个测试用例的结果的一致性来分析语义的正确性；4基于K框架，应用GO[KS]，查找Go程序漏洞。本发明提高了Go语言语义的完整性，并实现了对程序漏洞的分析。

本发明授权一种基于Go语言可执行形式化语义的程序漏洞分析方法在权利要求书中公布了：1.一种基于Go语言可执行形式化语义的程序漏洞分析方法，其特征在于，包括： S1：将Go语言的官方拓展的巴科斯范式语法格式GO[EBNF]转换为K框架可支持的BNF语法格式GO[BNF]； S2：根据GO[BNF]和Go语言的特点，应用K框架，基于重写逻辑，描述Go语言的可执行语义GO[KS]，包括语法、配置和规则，GO[KS]包含基本语义和并发语义，其中基本语义涵盖Go语言的基本类型定义、基本表达式和基本语句，并发语义包含基于信道实现数据读写； S3：采用基于测试用例的方法分析GO[KS]的正确性，分别在K框架和IntelliJIDEA工具中单个执行测试用例，通过比较每个测试用例的结果的一致性分析GO[KS]的正确性； S4：应用Go语言的可执行语义GO[KS]，基于K框架，对Go程序进行符号执行分析，查找程序漏洞； 步骤S3包括： 基于K框架编译GO[KS]； 对GO[KS]的每个语义规则从官方测试套件中选择合适的测试用例，基于K框架批量运行测试用例，检查是否全部涵盖GO[KS]，如果没有，则开发新的测试用例，实现测试用例全部涵盖GO[KS]，形成一个语义覆盖率为100％的测试集； 通过比较每个测试用例的结果的一致性来分析语义的正确性，具体为：基于语义覆盖率为100％的测试集中的测试用例，分别在K框架和工具IntelliJIDEA中单个运行测试集中的测试用例，对在K框架执行的结果和在工具IntelliJ运行的程序结果进行比较分析，验证GO[KS]正确性，若每个测试用例的运行结果都一致，则表示GO[KS]正确，否则不正确。

如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人中南民族大学;武汉空天软件技术有限公司，其通讯地址为：430074 湖北省武汉市洪山区民族大道182号；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。