喜欢本篇文章速速💖点赞💬评论⭐收藏

Helix QAC 2023.4 为新的 MISRA C++:2023 指南推出了 100% MISRA C++:2023® 规则覆盖率。此版本还包括扩展的 C++20 语言支持、数据流分析的性能改进以及整个产品中的许多产品体验增强功能。



增强对 C++20的 支持

此版本添加了以下语言功能支持:
• 模板参数列表和函数声明的 requires-clause 约束
• 非类型约束的缩写函数模板声明

通过缓存提高数据流性能

• 通过求解器缓存缩短增量分析的数据流分析时间
• 对选定项目的测试表明,与第二次分析运行相比,分析时间缩短了 50% 以上
• 数据流还能够通过缓存在函数超时期限内完成更多分析

增强的 GNU 和 ISO C 算术类型支持

• 改进了 QAC 对文本和算术类型的处理,以显著改善对语言中未充分利用的区域的支持,这些区域包括复杂类型、供应商扩展类型和具有异常运算符的复杂表达式

编码标准覆盖率(MISRA C++:2023®、HKMC、CERT)

MISRA C++:2023

Helix QAC 发布了 MISRA C++:2023 规则的 100% 执行覆盖率,并为 2023.3 和 2023.4 提供了新的 MCPP 合规模块。

更新的合规性模块
• HKMC映射更新
• 添加了严重性、优先级和级别的 CERT 类别
• 改进了 MISRA C:2023 合规性模块规则的日语翻译
• 改进选定标准的执行:
○ MISRA C:2023 规则 9.3、10.3、10.5
○ AUTOSAR规则A3-8-1。AV-1-2
○ MISRA C++ 规则 6-2-2

框架

• 改进了对宏扩展和模板实例化历史记录的跟踪,以帮助诊断问题
• 增强的基于注释的抑制引擎,允许每行有多个偏差原因

提高产品体验

支持具有自动 CCT 生成功能的其他编译器
• Synopsys Metaware
• Cadence Tensilica
• TI C6000系列
• Qualcomm Hexagon
• Clang 15
• Embarcadero BCC64

Visual Studio Code IDE 插件

• 改进了 VS Code 插件以支持远程分析器执行
Visual Studio 和 Eclipse IDE 插件
• 总体稳定性改进

Validate

• 支持从 CLI 和 GUI 创建Validate项目

CLI

• 新的 qacli 视图 选项,用于输出规则冲突详细信息
• 增强了 %K 类别说明符,以便更轻松地映射到规则
• 不存在 HOME 环境变量的故障

GUI

• 项目列表中的新上下文菜单项,用于打开项目位置
• 树视图面板中的文件名搜索
• 新的上下文菜单项,用于打开所选文件的预处理源
• 从源码跳转到预处理的源文件

Helix QAC 2023.4 中的重要更改

合规性模块目录更改

从 Helix QAC 2023.4 开始,该工具不再从旧的“PRQA”目录中读取合规性模块。合规性模块将仅从等效的“Perforce”文件目录中读取。

以下是现已过时的文件目录:
• %LOCALAPPDATA%\PRQA\installed_components.in
• %PROGRAMDATA%\PRQA\installed_components.ini
• ${HOME}/.config/PRQA/installed_components.ini
• /etc/prqa.d/installed_components.ini

⬇️体验最新版Helix QAC,立即免费试用⬇️
📩邮件至 marketing@polelink.com 📩

➕更多技术文章直播课程,敬请持续关注北汇信息➕
⬇️方案咨询、工具试用等 请平台私信/官网留言/邮件联络⬇️
📩邮件至 marketing@polelink.com 📩
Logo

获取更多汽车电子技术干货

更多推荐