企业级代码静态测试工具Helix QAC——支持编码规范

在这里插入图片描述

Helix QAC简介

Helix QAC提供了一个高效、健壮和完全自动化的环境来覆盖编码规范,即时反馈诊断信息,给出修改建议,并针对检测到的缺陷生成不同参考标准的报告(代码审查报告、度量报告、合规报告和抑制报告),帮助开发工程师开发可靠性高、可移植性强、可复用性好、易测可维护的代码,简化开发生命周期,降低开发成本。

上期回顾:

Helix QAC支持的编码规范

以下编码规范是Helix QAC静态分析解决方案的可选组件。依据不同的编程语言及行业标准,实施相应的编码规范。
在这里插入图片描述

MISRA编码规范

MISRA编码规范由汽车工业软件可靠性协会发布,可以用来防止会导致安全问题和安全漏洞的错误编码,为安全相关系统的开发提供了最好的实践指导,可以说MISRA 是嵌入式系统最为理想的编码规范。

可应用的规范版本为:MISRA C 2004、MISRA C 2012、MISRA C++ 2008。

AUTOSAR

AUTOSAR组织基于C++14标准发布了新的编码准则——AUTOSAR Coding Guidelines,这一准则是MISRA C++2008的延伸,应用于Adaptive Platform代码的开发,为应用现代C++语言编写安全和任务关键型嵌入式系统提供了有效指导,帮助开发工程师编写符合ISO26262要求的代码。

CERT

CERT 编码规范由软件工程研究所SEI(SEI卡内基梅隆大学研发中心,主要由美国国防部和国土安全部提供资金) CERT部门发布,它包含了编码和执行错误,还有低级的设计错误,旨在清除代码中可能导致网络安全的编码惯例以及未定义的行为。

CERT C每条规范包含标准描述、不合规代码举例、合规代码解决方案举例、例外情形、已知攻击类型等。

CWE

CWE是从架构、设计、乃至编码层面描述代码中常见的网络安全问题。由美国MITRE公司发起。CWE可以作为识别、减少、预防漏洞的基线。

CWE软件安全漏洞列表

CWE按优先级排列漏洞列表。优先级最高的25个条目来自二十多个不同组织的统计数据,他们基于使用频率和重要性评估了每个C代码缺陷,很多CWE列表中的缺陷都和缓冲溢出相关。我们的设计人员、编程者、测试者可以通过遵循CWE来消除典型错误,在编码阶段清除漏洞。

Helix QAC基于以上编码规范,帮助全球各大整车厂、零部件供应商及其他行业如航空、军工、医疗等领域的企业提高代码开发质量,实现对编码规范及相关行业标准的最佳实践。

在这里插入图片描述

免费试用Helix QAC,立即私信北汇信息

喜欢本篇文章的话记得💬评论💖点赞⭐收藏
➕更多技术文章直播课程,敬请持续关注北汇信息➕
⬇️业务咨询请私信北汇信息或在官网留言⬇️
📩📩📩
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值