Helix QAC 2024.1新功能
发布时间:2024-04-22

Helix QAC 2024.1增强了对C++20 和C23 语言特性支持,增加了针对使用多个编译器的项目进行分析的新功能。此外,Validate 改善了搜索功能、角色权限等用户体验,并新增了问题列表导出为CSV格式的选项

此版本还加强了对 CWE for C/C++、HKMC for C 和 MISRA C++:2023® 合规模块的扩展执行,提升了用户体验。


C++20

此版本增加了对以下改进的语言特性的支持:

  • C++20 概念(concepts)
  • C++20 缩写函数模板(abbreviated function templates)

C23

此版本还初步支持以下语言特性

  • 当设置了 -c23constexpr 时,对 C23 constexpr的支持

除了扩展语言特性的支持外,Helix QAC还针对GCC 12 和 13 以及MSVC 2022 版本的编译器进行了改进,以提升用户体验。


多编译器项目的支持

Helix QAC 现在提供了配置分析设置的能力,以适用于使用多个编译器的项目。

  • 支持在项目中每种语言的多个CCT。
  • 提供一致的分析结果,减少在不同编译器环境中出现误报或漏报的可能性。
  • 为需要静态分析的跨平台开发项目提供更大的灵活性。
  • 有助于识别编译器特定问题。
  • 使开发人员在项目编译器选择方面具有更大的灵活性。

新的Validate平台改进和功能

问题列表导出为 CSV 格式

在问题页面顶部新增的 CSV 下载按钮将基于 Validate 中当前搜索查询下载一个缺陷列表。要获取额外的问题信息,如行号、注释和理由,您需要订阅 Validate 高级合规性报告包。

扩展搜索

Validate 模块的正则表达式(RegEx)搜索功能提供了对文件系统路径指定时使用 * 和 ** 通配符的更强大支持。有关更多信息,请参阅模块文档。

新的角色权限

添加了更改问题所有者的权限,允许用户更改问题所有者而不无法更改问题状态。

保留许可证日志以用于审计目的

现在,您可以保留日志用于审核目的,方法是将日志附加到许可证服务器的 license.report.log 文件中,而不是在服务器重新启动后覆盖该文件。要了解 append.license.logging设置,请参阅 validate 服务。


编码标准覆盖范围(CWE、HKMC、MISRA C++:2023®)

改进了以下合规模块的规则和指令的执行:

与NIST 500-268要求相关的CWE C和CWE C++规则

  • CWE-259、CWE-412、CWE-367、CWE-99、CWE-321

HKMC

  • C-MSC-011

MISRA C++:2023

  • Dir 0.3.2

对其他编译器的支持改进,支持自动生成CCT

  • Keil armcc
  • 改进了对 Clang 12 的支持
  • GCC 12/13
  • MSVC 2022
  • 'qainject' 现在是默认的同步方法

性能

  • 针对涉及大量分支的结构,分析时间普遍减少。

libc++

对libc++标准库的支持进行了改进和增强。

  • 添加了-iso646keywords 选项,以匹配 -fno-operator-names 行为。
  • 启用时,不使用运算符的替代关键字名称。

编译器扩展

  • C 的 "compound literal" 功能现在由 QAC++ 作为扩展支持。

符号引用

  • 改进了对 VCS 和非-VCS 创建的符号链接的支持。

Visual Studio 和 Eclipse IDE 插件

  • 总体稳定性改进

CLI

  • 'qacli project' 的新命令:
  • create、modify、upgrade、config-file

操作系统

  • 支持 Ubuntu Linux 22.04


Helix QAC 2024.1 中的重要变更

QACLI admin命令弃用

以下命令已被弃用于 'qacli admin',并将在未来的版本中删除:

  • --qaf-project-config, --upgrade, --create-config-file, --edit-config-file, --list-config-files

合规性模块目录变更

提醒:从 Helix QAC 2023.4 版本开始,工具不再从旧的 "PRQA" 目录中读取合规性模块。合规性模块将仅从与 "Perforce" 文件目录等效的位置读取。

以下是现在已废弃的文件目录:

  • %LOCALAPPDATA%PRQAinstalled_components.ini
  • %PROGRAMDATA%PRQAinstalled_components.ini
  • ${HOME}/.config/PRQA/installed_components.ini
  • /etc/prqa.d/installed_components.ini


许可证管理变更

RLM v15.1 服务器的新安装程序与 Helix QAC 2024.1 版本一起发布。 如果将 Helix QAC 与 Validate 2024.1 一起使用,则此服务器版本是必需的,否则是可选的。


原文链接


+++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++


关于k8凯发电子

上海k8凯发电子技术有限公司是国内资深的研发工具软件提供商,公司成立于2009年,面向中国广大的制造业客户提供研发、设计、管理过程中使用的各种软件开发工具,致力于帮助客户提高研发管理效率、缩短产品设计周期,提升产品可靠性。

十多年来,先后与ARM、Altium、Ansys、QT、Green Hills、Minitab、EPLAN、QA Systems、OpenText、Visu-IT、HighTec、PLS、Ashling、MSC Software、Autodesk、Source Insight、IncrediBuild、Lauterbach、Adobe、Testplant、TeamEDA等多家全球知名公司建立战略合作伙伴关系,并作为他们在中国区的主要分销合作伙伴服务了数千家中国本土客户,为客户提供从芯片级开发工具、EDA设计工具、软件编译以及测试工具、结构设计工具、仿真工具、电气设计工具、以及嵌入式GUI工具等等。k8凯发电子凭借多年的经验积累,真正的帮助客户实现了让研发更简单、更可靠、更高效的目标。


欢迎关注“k8凯发电子”公众号

了解更多研发工具软件知识