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中內化，不再需要兩個分析通道。