使用codesense的GJB 8114模板对c++源代码规则检测示例

最新推荐文章于 2022-08-16 18:35:42 发布
最新推荐文章于 2022-08-16 18:35:42 发布
阅读量1.2k 收藏 4
点赞数
分类专栏： 软件供应链安全 文章标签： 开发语言 c++
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/ubisectech/article/details/125924828
版权
本文介绍了如何使用CodeSense工具根据GJB 8114标准对C++源代码进行规则检测。通过登录系统、新建测试项目、设置检测参数，特别是选择GJB8114模板，然后查看检测结果和测试报告，以确保代码符合国军标，提升软件质量和安全性。
摘要由CSDN通过智能技术生成

  ↵

关于GJB 8114 

2013年7⽉10⽇，中国⼈民解放军总装备部发布了中华⼈民共和国国家军⽤标准GJB 8114，全称为国军标 8114-2013《C/C++语⾔编程安全⼦集》，提出软件编程标准，以提⾼国家军⽤软件的安全性，并作为静态规则检查的依据。

⼤量数据表明，软件存在的问题或隐患很⼤部分根源在于没有遵守编

最低0.47元/天 解锁文章
ValiantSec
关注
  • 0
    点赞
  • 踩
  • 4
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
专栏目录
浅谈安全漏洞及工具
ubisectech的博客
05-05 879
一，什么是安全漏洞 安全漏洞是在硬件、软件、协议的具体实现或系统安全策略上存在的缺陷，从而可以使攻击者能够在未授权的情况下访问或破坏系统。举例来说，比如最近一次的Log4j 漏洞事件，攻击者仅需向目标输入一段代码，不需要用户执行任何多余操作即可触发该漏洞，使攻击者可以远程控制用户受害者服务器，90% 以上基于 java 开发的应用平台都会受到影响。 二，安全漏洞如何产生 安全漏洞往往会给公司带来极大的麻烦。攻击者会利用它们去攻击普通用户、管理员以及连接和使用此类...
一款好用的国产软件源代码缺陷分析平台 — CodeSense
ubisectech的博客
03-17 3600
采用业界先进的值流图分析技术，能够实现跨程序/跨文件的上下文敏感分析与对象敏感分析，精准的检测软件安全漏洞与质量缺陷，结合独有的智慧减负与黑白名单技术，服务于安全部门或研发团队。
SAST 技术产品 CodeSense 通过信通院工具能力测试
ubisectech的博客
08-16 591
CodeSense源代码缺陷分析平台（SAST）成功通过中国信通院泰尔实验室组织的——“先进网络安全能力验证评估计划第九期 — 应用安全开发测试工具能力”测试。
自动化检测工具助力GJB 8114-2013 C/C++语言编程安全子集标准落地应用
manok的专栏
03-13 5758
2013年7月10日，中国人民解放军总装备部发布了中华人民共和国国家军用标准GJB 8114，全称为GJB 8114-2013《C/C++语言编程安全子集》，提出软件编程标准，以提高国家军用软件的安全性，并作为静态规则检查的依据。GJB 8114的提出源于2005年发布的GJB 5369，全称为GJB 5359-2005《航天型号软件C语言安全子集》是航天领域嵌入式C语言的编程标准...
GJB 8114编码标准检查软件产品简介
plstudio1的博客
01-18 3437
talcheck是国产编码标准检查软件，支持GB/T 28169检查、GB/T 34944标准检查、GJB 5369编码标准检查、GJB 8114编码标准符合性检查、MISRA编码标准检查、CERT C标准检查、CWE漏洞检查，并依据检查结果对代码的规则符合性情况进行评价。既能够进行依赖于代码解析的基础检查，还能够进行基于路径遍历的深度检查。能够进行故障溯源分析、故障影响范围分析以及故障影响程度分析。通过“故障路径集合”、“被污染路径集合”、“污染路径比率”及其它多个相关度量指标衡量特定故障的影响。
CCS3.3 CodeSense补词功能
淡泊明志，宁静致远
12-03 998
程序开发中碰到问题查找资料的时候经常看CSDN博客中的文章，得到了很多帮助，现在我也开通了CSDN博客，把我工作中碰到的问题和解决的方法记录下来，也希望能给碰到相同问题的人一些启发。         最近在做DM648平台上的算法移植，使用CCS3.3。以前习惯了在VC下编程，比较依赖Visual Assist的自动补词功能，因此在CCS上编辑程序很容易出错。原本以为CCS3.3下没有这个功能，
如何利用codesense的GJB8114模板对c++源码进行进行规则检测
m0_50579386的博客
07-12 758
编程规范或标准的落实，⼀⽅⾯可以使代码开发⼈员在编程过程中遵守规则，从⽽保证代码的可理解性和可维护性，进而提高代码质量；另⼀⽅⾯也可以让测试⼈员按照规则来检查代码，及时发现代码问题。...
GJB438B《软件测试说明》模板范例
04-29
《GJB438B《软件测试说明》模板范例》是针对国防科技工业标准GJB438B的专业文档，旨在为软件测试分析人员提供一份详细的指导，以确保他们能够按照标准要求编写出规范、全面的《软件测试说明》。这份模板由具有丰富...
GJB438B《软件测试计划》模板范例
04-26
本模板范例由在该领域具有丰富经验的专家编写，目的是帮助软件测试分析人员按照GJB438B标准高效地编制测试计划，与需求文档、设计文档等协同使用，可以更全面地理解和实施测试过程。 1. **范围** - **标识**：这...
GJB产品标准化模板参考
08-08
3.2 工作范围标准化工作涵盖产品设计、制造、试验、使用、维护等全生命周期，包括对设备的结构、功能、性能、工艺、材料、接口、测试方法等方面制定和执行标准。 4.2 通用化、系列化、组合化（模块化）要求为了提高...
GJB军用软件开发文档.zip
03-16
GJB 438B 军用软件开发文档通用要求.pdf GJB 1268A-2004军用软件验收要求.pdf GJB 2434A-2004 军用软件产品评价.pdf
GJB9001C-2017质量管理体系要求.pdf
08-28
GJB9001C-2017质量管理体系要求介绍了军备生产的质量管理体系要求，以及为实施质量管理体系评审提供依据。
GJB9001C-2017标准.pdf
03-18
GJB9001C-2017明确了该标准适用于承担军队专用装备及配套产品论证、研制、生产、试验、维修和服务任务的组织，提供其他军用产品和服务的组织可参照使用。
《 C安全编码标准.pdf》 高清下载
04-09
本书提供了在C编程语言中进行安全编码的指导方针，描述了C语言程序中导致软件潜在风险根源的编码错误，并根据严重性、被利用的可能性以及修补成本设置了优先级。每个指导方针提供了不安全代码的例子以及安全的替代方案。如果统一应用这些指导方针，可帮助消除导致缓冲区溢出、格式字符串潜在风险、整数溢出和常见的软件潜在风险的关键编码错误，从而创建更健壮的高质量软件系统。以上简介来自于豆瓣。
GJB438B《软件测试报告》模板范例
05-04
**GJB438B《软件测试报告》模板范例** **一、范围** GJB438B标准是针对国防及军工领域的软件质量管理规范，其中的《软件测试报告》是软件开发过程中的重要文档之一。它详尽记录了软件测试的全过程，包括测试的目的...
自己整理 GJB438B 软件开发文档模板
最新发布
08-04
《GJB438B软件开发文档模板解析与应用》 在软件开发领域，规范化的文档编写是确保项目顺利进行的重要环节。GJB438B标准，全称为《军用软件开发文档通用要求》，是中国军用软件开发过程中的一个重要指导文件。它规定...
CodeScene - 软件质量可视化工具
既然选择了远方 便只顾风雨兼程 - 永强
11-15 1907
CodeScene - 软件质量可视化工具 CodeScene https://codescene.com/ https://codescene.io/ The powerful visualization tool using Predictive Analytics to find hidden risks and social patterns in your code. 使用 Predictive Analytics 的功能强大的可视化工具，可在代码中查找隐藏的风险和关联模式。 CodeScene
BCB中封装VC控件CodeSense
没吃过猪肉，光看见猪跑啦....................
08-09 4186
Q: http://community.csdn.net/Expert/topic/3179/3179109.xml?temp=.7848627作者想要一个ocx的解决方案，我没有给出来。bcb在这个方面一直是诟病多多，呵呵。不过他的那个控件是open source的。原作者使用vc+mfc来开发的，不过接口就是api+消息了。这样的使用vcl来封装这个控件变得不是十分困难了。CodeSe
GJB 8114-2013中不恰当的编码规则解析
plstudio1的博客
05-18 3319
软件代码的安全性及可靠性直接关乎相关产品的品质。为了提高代码的安全性及可靠性，各种编码规则标准应运而生。MISRA-C标准由于其起步早、应用广泛、阐述严谨、可操作性强、与时俱进等特性，在众多编码标准中具有举足轻重的地位，是没有争议的编码标准的标杆。考虑到代码安全性及可靠性的重要性，国内也定制了许多编码标准。就目前来说，还没有哪个标准能够同MISRC-C相比较。相对而言，在国内的编码标准中，GJB 8114-2013是比较完善且应用范围较广的编码标准。然而，仅就GJB 8114-2013中的规则来说，还是有部
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值