发明专利已授权

一种基于Go语言可执行形式化语义的程序漏洞分析方法

📄 申请号：CN202111141171.2 📄 发布日：2026/05/25

著录项目信息

申请日

2021-09-28

公开号

CN113868136B

公开日

2025-07-11

申请人

中南民族大学,武汉空天软件技术有限公司

法律状态

已下证

专利类型

发明

主分类号

G06F11_3668

IPC 分类号

G06F11_3668 , G06F21_57 ,

技术画像

所属领域

程序漏洞分析程序漏洞分析形式化语义软件安全

应用场景

软件安全检测, 代码审计, 软件测试, 漏洞挖掘, 开发安全

AI 智能推荐 · 同申请人专利 · 搜索相似专利

摘要

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

权利要求书 (12项) 说明书附图

……

图1

图2

图3

法律状态时间线

一种基于差分隐私的直方图数据发布方法

当前第 / 件

基于二分裂变的差分隐私直方图发布方法、系统及设备

同领域国内专利 · IPC: (G06F11_3668)

G06F11_00 G06F11_07 G06F11_08 G06F11_10 G06F11_14 G06F11_1446 G06F11_20 G06F11_22 G06F11_26 G06F11_263 G06F11_267 G06F11_27 G06F11_273 G06F11_30 G06F11_32 G06F11_34 G06F11_36 G06F11_3604 G06F11_362 G06F11_3668 覆盖20个领域

相似专利推荐 AI 驱动 · 同领域

数字签名处理方法、装置、计算机设备和存储介质

¥0.0

2021116154461 · 深圳市名竹科技有限公司

议价

不含过户费

📋 交易方式： 委托待转让 📌 交易状态：在售 👁️ 浏览次数：121 ❤️ 收藏人数：93 📋 项目申报： 未申报

资金托管权属尽调包过户

🏢 淄博智来知识产权服务有限公司

✓ 企业认证✓ 手机绑定历史成交 0件好评率 98.5%

📊 出价记录 (3条)

王**¥-10万

李** 企业¥-8万

陈**¥-3万

查看全部出价

我要出价 (议价)