Helix QAC 2023.4 為新的 MISRA C++:2023 指南推出了 100% MISRA C++:2023? 規則覆蓋率。此版本還包括擴展的 C++20 語言支持、數據流分析的性能改進以及整個產品中的許多產品體驗增強功能。
增強對 C++20的 支持
此版本添加了以下語言功能支持:
? 模板參數列表和函數聲明的 requires-clause 約束
? 非類型約束的縮寫函數模板聲明
通過緩存提高數據流性能
? 通過求解器緩存縮短增量分析的數據流分析時間
? 對選定項目的測試表明,與第二次分析運行相比,分析時間縮短了 50% 以上
? 數據流還能夠通過緩存在函數超時期限內完成更多分析
增強的 GNU 和 ISO C 算術類型支持
? 改進了 QAC 對文本和算術類型的處理,以顯著改善對語言中未充分利用的區域的支持,這些區域包括復雜類型、供應商擴展類型和具有異常運算符的復雜表達式
編碼標準覆蓋率(MISRA C++:2023?、HKMC、CERT)
MISRA C++:2023
Helix QAC 發布了 MISRA C++:2023 規則的 100% 執行覆蓋率,并為 2023.3 和 2023.4 提供了新的 MCPP 合規模塊。
更新的合規性模塊
? HKMC映射更新
? 添加了嚴重性、優先級和級別的 CERT 類別
? 改進了 MISRA C:2023 合規性模塊規則的日語翻譯
? 改進選定標準的執行:
? MISRA C:2023 規則 9.3、10.3、10.5
? AUTOSAR規則A3-8-1。AV-1-2
? MISRA C++ 規則 6-2-2
框架
? 改進了對宏擴展和模板實例化歷史記錄的跟蹤,以幫助診斷問題
? 增強的基于注釋的抑制引擎,允許每行有多個偏差原因
提高產品體驗
支持具有自動 CCT 生成功能的其他編譯器
? Synopsys Metaware
? Cadence Tensilica
? TI C6000系列
? Qualcomm Hexagon
? Clang 15
? Embarcadero BCC64
Visual Studio Code IDE 插件
? 改進了 VS Code 插件以支持遠程分析器執行
Visual Studio 和 Eclipse IDE 插件
? 總體穩定性改進
Validate
? 支持從 CLI 和 GUI 創建Validate項目
CLI
? 新的 qacli 視圖 選項,用于輸出規則沖突詳細信息
? 增強了 %K 類別說明符,以便更輕松地映射到規則
? 不存在 HOME 環境變量的故障
GUI
? 項目列表中的新上下文菜單項,用于打開項目位置
? 樹視圖面板中的文件名搜索
? 新的上下文菜單項,用于打開所選文件的預處理源
? 從源碼跳轉到預處理的源文件
Helix QAC 2023.4 中的重要更改
合規性模塊目錄更改
從 Helix QAC 2023.4 開始,該工具不再從舊的“PRQA”目錄中讀取合規性模塊。合規性模塊將僅從等效的“Perforce”文件目錄中讀取。
以下是現已過時的文件目錄:
? %LOCALAPPDATA%\PRQA\installed_components.in
? %PROGRAMDATA%\PRQA\installed_components.ini
? ${HOME}/.config/PRQA/installed_components.ini
? /etc/prqa.d/installed_components.ini
-
嵌入式
+關注
關注
5092文章
19177瀏覽量
307673 -
代碼
+關注
關注
30文章
4825瀏覽量
69049 -
測試工具
+關注
關注
0文章
57瀏覽量
11970 -
靜態測試
+關注
關注
0文章
26瀏覽量
6547
發布評論請先 登錄
相關推薦
評論