神仙代碼靜態(tài)測試工具 Helix QAC 2022.3中的新增功能

Helix QAC 2022.3 中的新增功能

Helix QAC 2022.3 引入了對微軟 Visual Studio 2022 的支持、BARR-C：2018 的新合規(guī)模塊，以及對 C++20 和 C23 的升級語言支持。

此外，這個版本包括更廣泛的編譯器支持和各種CLI命令的質(zhì)量改進(jìn)。

微軟Visual Studio 2022 IDE插件

使用新的Visual Studio 2022 桌面分析插件，快速輕松地檢測并在簽入之前修復(fù)問題。

此新的IDE擴(kuò)展支持MS Visual Studio for C/C++中的Helix QAC桌面分析：

?分析代碼、查看和篩選結(jié)果。

?英語和日語本土化。

?支持跨模塊分析和消息抑制。

?診斷消息幫助。

?日志記錄和輸出消息。

編碼標(biāo)準(zhǔn)覆蓋范圍（BARR-C：2018）

新的BARR-C：2018 C 合規(guī)性模塊，具有 83% 的自動化規(guī)則覆蓋率。

執(zhí)行Barr Group 的嵌入式 C 編碼標(biāo)準(zhǔn)，以最大限度地減少固件中的錯誤，同時提高嵌入式軟件的可維護(hù)性和可移植性。

升級的C++20 語言支持

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

?位字段的默認(rèn)成員初始值設(shè)定項(xiàng)。

?布局兼容性和指針互換性特征。

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

升級的C23 語言支持

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

?源代碼中的Unicode標(biāo)識符，既可以直接指定為字符，也可以通過通用字符名，并伴有UAX#31有效標(biāo)識符規(guī)則的檢查。

?對象定義的類型推理。一個新的選項(xiàng)使自動存儲類指定器的C23語義能夠從其初始化器中推斷出對象的類型（這可能會改變現(xiàn)有代碼的行為，因此C17語義仍然是默認(rèn)的），而GNU C __auto_type指定器仍然無條件可用。

?typeof_unqual (via typeof_unqualified)。

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

此版本具有使用“qainject”自動生成 CCT 的功能，可簡化構(gòu)建理解和編譯器設(shè)置。

此外，功能也得到了改進(jìn)，為以下常見的編譯器提供了一個對用戶友好的項(xiàng)目和編譯器設(shè)置：

?Green Hills 2018-2022

?Visual Studio 2022

?Wind River Diab v7

?TI tiarmclang (C++98/03)

?GNU assembler cc1/cc1plus

質(zhì)量提升

CLI

將qacli admin命令與新的獨(dú)立 qacli config命令分離：

?組件路徑命令轉(zhuǎn)換為"qacli config component-path”。

?將 cpu 命令轉(zhuǎn)換為"qacli config cpu"。

?語言命令變成"qacli config language"。

?許可證服務(wù)器命令轉(zhuǎn)換為"qacli config license-server"。

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

Helix QAC 2022.3 中的重要更改

正在進(jìn)行的“qacli admin”更改

有大量選項(xiàng)與“qacli admin”子命令相關(guān)聯(lián)，這些選項(xiàng)已分為新的配置和身份驗(yàn)證子命令，涵蓋系統(tǒng)和項(xiàng)目的配置。

相應(yīng)的“qacli admin”選項(xiàng)將被棄用，因?yàn)樵趯淼陌姹局刑砑有碌淖用?。這些更改將提高 CLI 的可用性，實(shí)現(xiàn)更一致地使用短選項(xiàng)和默認(rèn)值，并增強(qiáng)相關(guān)幫助頁面的可讀性。

發(fā)行說明中包含了2022.3 中已棄用的“qacli admin”選項(xiàng)的詳細(xì)信息，以及以前已棄用的命令的完整列表包含在 Helix QAC 手冊中。

預(yù)告

CCT Generator在 2023 年報廢

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

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

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

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

即將到來的2022.4 數(shù)據(jù)流分離

在2022.4 中，Dataflow計劃從 QAC/QAC++ 引擎中分離出來，成為自己的組件。主要區(qū)別是：

?改進(jìn)了大型項(xiàng)目的數(shù)據(jù)流分析性能。

?Dataflow將成為分析工具鏈中具有關(guān)聯(lián)配置選項(xiàng)的單獨(dú)組件。

?Dataflow診斷將針對其自己的組件（而不是“qac”或“qacpp”）進(jìn)行報告。

?Inter-TU分析將在Dataflow中內(nèi)化，不再需要兩個分析通道。