代碼靜態(tài)測試工具Helix QAC 2023.4新發(fā)布

Helix QAC 2023.4 為新的 MISRA C++：2023 指南推出了 100% MISRA C++：2023? 規(guī)則覆蓋率。此版本還包括擴(kuò)展的 C++20 語言支持、數(shù)據(jù)流分析的性能改進(jìn)以及整個(gè)產(chǎn)品中的許多產(chǎn)品體驗(yàn)增強(qiáng)功能。

增強(qiáng)對(duì) C++20的 支持
此版本添加了以下語言功能支持：
? 模板參數(shù)列表和函數(shù)聲明的 requires-clause 約束
? 非類型約束的縮寫函數(shù)模板聲明

通過緩存提高數(shù)據(jù)流性能
? 通過求解器緩存縮短增量分析的數(shù)據(jù)流分析時(shí)間
? 對(duì)選定項(xiàng)目的測試表明，與第二次分析運(yùn)行相比，分析時(shí)間縮短了 50% 以上
? 數(shù)據(jù)流還能夠通過緩存在函數(shù)超時(shí)期限內(nèi)完成更多分析

增強(qiáng)的 GNU 和 ISO C 算術(shù)類型支持
? 改進(jìn)了 QAC 對(duì)文本和算術(shù)類型的處理，以顯著改善對(duì)語言中未充分利用的區(qū)域的支持，這些區(qū)域包括復(fù)雜類型、供應(yīng)商擴(kuò)展類型和具有異常運(yùn)算符的復(fù)雜表達(dá)式

編碼標(biāo)準(zhǔn)覆蓋率（MISRA C++：2023?、HKMC、CERT）

MISRA C++：2023
Helix QAC 發(fā)布了 MISRA C++：2023 規(guī)則的 100% 執(zhí)行覆蓋率，并為 2023.3 和 2023.4 提供了新的 MCPP 合規(guī)模塊。

更新的合規(guī)性模塊
? HKMC映射更新
? 添加了嚴(yán)重性、優(yōu)先級(jí)和級(jí)別的 CERT 類別
? 改進(jìn)了 MISRA C：2023 合規(guī)性模塊規(guī)則的日語翻譯
? 改進(jìn)選定標(biāo)準(zhǔn)的執(zhí)行：
? MISRA C：2023 規(guī)則 9.3、10.3、10.5
? AUTOSAR規(guī)則A3-8-1。AV-1-2
? MISRA C++ 規(guī)則 6-2-2

框架
? 改進(jìn)了對(duì)宏擴(kuò)展和模板實(shí)例化歷史記錄的跟蹤，以幫助診斷問題
? 增強(qiáng)的基于注釋的抑制引擎，允許每行有多個(gè)偏差原因

提高產(chǎn)品體驗(yàn)
支持具有自動(dòng) CCT 生成功能的其他編譯器
? Synopsys Metaware
? Cadence Tensilica
? TI C6000系列
? Qualcomm Hexagon
? Clang 15
? Embarcadero BCC64

Visual Studio Code IDE 插件
? 改進(jìn)了 VS Code 插件以支持遠(yuǎn)程分析器執(zhí)行

Visual Studio 和 Eclipse IDE 插件
? 總體穩(wěn)定性改進(jìn)

Validate
? 支持從 CLI 和 GUI 創(chuàng)建Validate項(xiàng)目

CLI
? 新的 qacli 視圖 選項(xiàng)，用于輸出規(guī)則沖突詳細(xì)信息
? 增強(qiáng)了 %K 類別說明符，以便更輕松地映射到規(guī)則
? 不存在 HOME 環(huán)境變量的故障

GUI
? 項(xiàng)目列表中的新上下文菜單項(xiàng)，用于打開項(xiàng)目位置
? 樹視圖面板中的文件名搜索
? 新的上下文菜單項(xiàng)，用于打開所選文件的預(yù)處理源
? 從源碼跳轉(zhuǎn)到預(yù)處理的源文件

Helix QAC 2023.4 中的重要更改
合規(guī)性模塊目錄更改
從 Helix QAC 2023.4 開始，該工具不再從舊的“PRQA”目錄中讀取合規(guī)性模塊。合規(guī)性模塊將僅從等效的“Perforce”文件目錄中讀取。

以下是現(xiàn)已過時(shí)的文件目錄：
? %LOCALAPPDATA%\PRQA\installed_components.in
? %PROGRAMDATA%\PRQA\installed_components.ini
? ${HOME}/.config/PRQA/installed_components.ini
? /etc/prqa.d/installed_components.ini