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

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

 

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

 

Jump to 你喜欢的部分

 

• 增强对 C++20的 支持
• 通过缓存提高数据流性能
• 增强的 GNU 和 ISO C 算术类型支持
• 编码标准覆盖率（MISRA C++：2023®、HKMC、CERT）MISRA C++：2023框架
• 提高产品体验Visual Studio Code IDE 插件ValidateCLIGUI
• Helix QAC 2023.4 中的重要更改合规性模块目录更改

 

增强对 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

 

翻译

搜索

复制