代码静态测试工具Helix QAC 2023.4新发布

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