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% 覆盖。请联系北汇信息以了解更多信息。
-
嵌入式
+关注
关注
5161文章
19784浏览量
319672 -
代码
+关注
关注
30文章
4907浏览量
71237
发布评论请先 登录
汽车软件团队必看:基于静态代码分析工具Perforce QAC的ISO 26262合规实践

太阳光模拟器性能的影响参数:光谱匹配度、光谱覆盖率及光谱偏离率
Perforce QAC产品简介:面向C/C++的静态代码分析工具(已通过SO 26262认证)

MISRA C:2025新标准解析:新增规则、优化点与静态代码分析工具支持(Perforce QAC、Klocwork)

缓冲区溢出漏洞的原理、成因、类型及最佳防范实践(借助Perforce 的Klocwork/Hleix QAC等静态代码分析工具)

偏振分析器
Helix QAC 2024.3新特性速览

synopsys 的design ware:DW_fpv_div,浮点数除法器,默认32位下,想提升覆盖率(TMAX),如果用功能case去提升覆盖率呢?
利用静态检查工具完善功能安全中测试覆盖率

评论