原创 100%覆盖MISRA C:2012 与MISRA C:2023,尽在静态代码分析器工具Helix QAC 2023.2

2023-8-1 11:10 509 8 8 分类: MCU/ 嵌入式
Helix QAC 2023.2 提供 100% 的 MISRA C:2012 和 MISRA C:2023 规则覆盖率,并更新相应的合规性模块以支持 MISRA C:2023。

此外,此版本还包括改进的 C23 语言支持、对Validate平台的改进以及 Helix QAC 和 Validate 的集成,以及其他功能改进。

编码标准覆盖范围(MISRA C:2012、MISRA C:2023 和 CWE)
MISRA C:2012, 2023
Helix QAC为MISRA C:2012 AMD 4和MISRA C:2023提供100%的覆盖,将指南先前的revisions、amendments和技术勘误合并为一个单一、全面的版本。MISRA C:2023最近于今年出版。
• M3CM合规模块已更新,以参考MISRA C:2023。

CWE
CWE C 和 C++ 合规性模块与最新版本的 CWE 4.11 保持一致。

Perforce Validate
持续的安全和代码合规性平台为嵌入式和任务关键型应用程序提供功能安全性、安全性、可靠性和质量保证。

Validate平台为整个组织的代码库提供分析数据、趋势和配置的集中存储,为所有 Perforce 静态分析产品提供单一管理平台。

2023.2 提供:
• 支持Validate中的 Helix QAC 指标。
• 更新了Helix QAC Visual Studio插件,支持与Validate集成。
• 完全支持Validate中的 Helix QAC 自定义消息。

C23 / C++23 语言支持
此版本增加了对以下各项的语言功能支持:
• C23 数字分隔符
• C23 / C++23 #elifdef,#enlifndef和#warning指令

产品体验改善
命令行界面
• 允许启用/禁用诊断消息和抑制的同步
• 输出规则组名称和规则ID的新格式说明符%M

图形用户界面
• 允许自定义 RCF 名称和版本
• 允许启用/禁用诊断消息和抑制的同步

HIS指标
• 此版本具有 Helix QAC 增强功能,可直接生成复合 HIS 指标(以前在报告脚本中计算)。

Helix QAC 2023.2 的重要变化
许可证管理更改RLM v15 服务器的新安装程序与 Helix QAC 2023.2 版本一起提供。
如果将 Helix QAC 与Validate 2023.2 一起使用,则此服务器版本是必需的,否则是可选的。

MISRA C++ 2023 — 新合规模块的早期版本可供预览
MISRA联盟预计将在今年晚些时候发布MISRA C++ 2023编码指南。新标准发布后,将引入新的合规模块以实施执行。在 2023.2 中,合规性模块的早期版本可根据请求提供预览,该模块迄今为止已完成对规则的98% 覆盖。请联系北汇信息以了解更多信息。

作者: 北汇信息, 来源:面包板社区

链接: https://mbb.eet-china.com/blog/uid-me-3998886.html

版权声明:本文为博主原创,未经本人允许,禁止转载!

文章评论0条评论)

登录后参与讨论
EE直播间
更多
我要评论
0
8
关闭 站长推荐上一条 /5 下一条