神仙代码静态测试工具 Helix QAC 2022.3中的新增功能

Helix QAC 2022.3 中的新增功能

Helix QAC 2022.3 引入了对微软 Visual Studio 2022 的支持、BARR-C：2018 的新合规模块，以及对 C++20 和 C23 的升级语言支持。

 

此外，这个版本包括更广泛的编译器支持和各种CLI命令的质量改进。

 

微软Visual Studio 2022 IDE插件

使用新的 Visual Studio 2022 桌面分析插件，快速轻松地检测并在签入之前修复问题。

 

此新的IDE扩展支持MS Visual Studio for C/C++中的Helix QAC桌面分析：

 

• 分析代码、查看和筛选结果。

• 英语和日语本土化。

• 支持跨模块分析和消息抑制。

• 诊断消息帮助。

• 日志记录和输出消息。

 

编码标准覆盖范围 （BARR-C：2018）

新的 BARR-C：2018 C 合规性模块，具有 83% 的自动化规则覆盖率。

 

执行 Barr Group 的嵌入式 C 编码标准，以最大限度地减少固件中的错误，同时提高嵌入式软件的可维护性和可移植性。

 

升级的 C++20 语言支持

此版本添加了C++20 语言功能支持：

 

• 位字段的默认成员初始值设定项。

• 布局兼容性和指针互换性特征。

• 支持g++ 11和Visual Studio 2022.1的C++ 20模式。

 

升级的 C23 语言支持

此版本添加了 C23 语言功能支持：

 

• 源代码中的Unicode标识符，既可以直接指定为字符，也可以通过通用字符名，并伴有UAX#31有效标识符规则的检查。

 

• 对象定义的类型推理。一个新的选项使自动存储类指定器的C23语义能够从其初始化器中推断出对象的类型（这可能会改变现有代码的行为，因此C17语义仍然是默认的），而GNU C __auto_type指定器仍然无条件可用。

 

• typeof_unqual (via typeof_unqualified)。

 

改进的编译过程监控

此版本具有使用“qainject”自动生成 CCT 的功能，可简化构建理解和编译器设置。

 

此外，功能也得到了改进，为以下常见的编译器提供了一个对用户友好的项目和编译器设置：

 

• Green Hills 2018-2022

• Visual Studio 2022

• Wind River Diab v7

• TI tiarmclang (C++98/03)

• GNU assembler cc1/cc1plus

 

质量提升

CLI

将 qacli admin命令与新的独立 qacli config命令分离：

 

• 组件路径命令转换为"qacli config component-path”。

• 将 cpu 命令转换为"qacli config cpu"。

• 语言命令变成"qacli config language"。

• 许可证服务器命令转换为"qacli config license-server"。

 

此外，Dashboard token已分入 “qacli auth”。

 

Helix QAC 2022.3 中的重要更改

正在进行的“qacli admin”更改

有大量选项与“qacli admin”子命令相关联，这些选项已分为新的配置和身份验证子命令，涵盖系统和项目的配置。

 

相应的“qacli admin”选项将被弃用，因为在将来的版本中添加新的子命令。这些更改将提高 CLI 的可用性，实现更一致地使用短选项和默认值，并增强相关帮助页面的可读性。

 

发行说明中包含了 2022.3 中已弃用的“qacli admin”选项的详细信息，以及以前已弃用的命令的完整列表包含在 Helix QAC 手册中。

 

预告

CCT Generator在 2023 年报废

Helix QAC 2023.1 将不再支持传统独立的 CCT Generator。

 

HelixQAC 2021.3中引入的“qainject”工具将取代当前的CCTGenerator。因此，使用旧工具生成的 CCT 将被弃用，不再受支持。

 

从 QAC 包中删除不受支持的静态 CCT

随着对使用带有“qainject”的auto CCT generation的各种编译器的构建监控进行了改进，之前包含在Helix QAC包中的大多数静态CCT将在2023.1之前被删除。与使用静态默认 CCT 相比，自动生成的 CCT 应提供更准确的分析结果。其目的是删除除 GNU gcc、Visual Studio和通用编译器之外的所有 CCT。

 

即将到来的 2022.4 数据流分离

在 2022.4 中，Dataflow计划从 QAC/QAC++ 引擎中分离出来，成为自己的组件。主要区别是：

 

• 改进了大型项目的数据流分析性能。

• Dataflow将成为分析工具链中具有关联配置选项的单独组件。

• Dataflow诊断将针对其自己的组件（而不是“qac”或“qacpp”）进行报告。

• Inter-TU分析将在Dataflow中内化，不再需要两个分析通道。