Helix QAC 2022.4 中的新增功能

Helix QAC 2022.4為MISRA C:2012 AMD3提供了100%的規(guī)則覆蓋，數(shù)據(jù)流被拆分為一個新的組件，提供了改進的分析性能，并升級了對C++20和C23的語言支持。

此外，此版本還包括改進的編譯器支持以及各種 Helix QAC 組件的總體使用質(zhì)量改進。

數(shù)據(jù)流組件

在 2022.4 中，數(shù)據(jù)流已從QAC/QAC++引擎分離到自己的組件中。此更改提供：

• 改進了大型項目的數(shù)據(jù)流分析性能。
• 編譯單元間分析(Inter-TU)在數(shù)據(jù)流中內(nèi)化，不再需要兩次分析傳遞。
• 頭文件中定義的函數(shù)每個項目分析一次。
• 數(shù)據(jù)流診斷是針對“數(shù)據(jù)流”組件而不是“qac”或“qacpp”報告的。
• 數(shù)據(jù)流是分析工具鏈中的一個單獨組件，具有自己的配置選項。

編碼標(biāo)準(zhǔn)覆蓋范圍（MISRA C：2012 AMD3，TS 17961 C安全）

新的 MISRA C：2012修正案3合規(guī)模塊，具有100%的規(guī)則覆蓋率

• 針對 C 編程語言強制實施汽車行業(yè)軟件可靠性協(xié)會 （MISRA） 軟件開發(fā)指南。這些指南旨在促進嵌入式系統(tǒng)環(huán)境中的代碼功能安全性、信息安全性、可移植性和可靠性。
• 與新的 C11/C18 功能相關(guān)的其他規(guī)則。

C++20 語言支持

此版本改進了與 C++20 語言功能用法的兼容性，包括在C++20模式下處理GCC頭文件。

C23 語言支持

此版本增加了對以下各項的 C23 語言功能支持：

• 放寬對變量參數(shù)列表的要求。

改進的編譯過程監(jiān)控

此版本改進了使用 “qainject”自動生成的CCT，這簡化了編譯理解和編譯器設(shè)置；并且手冊中提供了額外的指導(dǎo)，用于創(chuàng)建自定義過濾器，以基于支持的編譯器（例如基于GNU的編譯器）創(chuàng)建新編譯器。

提高使用質(zhì)量

CLI

• 添加了查看自基線以來的診斷功能（qacli 視圖）。
• 按抑制類型（qacliview --suppression-filter ）進行過濾診斷。
• 以多種格式輸出 CMA 診斷：NONE, MULTIPLE, SINGLE（qacli view --multi-homed-format）。
• 使用戶能夠升級現(xiàn)有項目以與單獨的數(shù)據(jù)流組件兼容（qacli admin --upgrade）。

GUI

• 數(shù)據(jù)流組件支持。

Dashboard

• 數(shù)據(jù)流組件支持。

Microsoft Visual Studio 2022 IDE 插件

• 支持使用 VS 2022 擴展安裝多個Helix QAC。

Helix QAC 2022.4的重要變化

預(yù)公告

CCT Generator 將于2023年不再維護

Helix QAC 2023.1 將不再支持傳統(tǒng)的獨立CCT Generator。

Helix QAC 2021.3 中引入的“qainject”工具將取代當(dāng)前的CCT Generator。因此，使用舊版工具生成的CCT將被棄用且不再受支持。

從 QAC 軟件包中刪除不受支持的靜態(tài)CCT

隨著使用“qainject”自動生成CCT的各種編譯器的改進構(gòu)建監(jiān)控，到2023.1將刪除以前包含在Helix QAC包中的大多數(shù)靜態(tài)CCT。與使用靜態(tài)默認(rèn)CCT相比，自動生成的CCT有望提供更準(zhǔn)確的分析結(jié)果。其目的是刪除除GNU gcc、Visual Studio和通用編譯器之外的所有CCT。