Helix QAC 2023.4 為新的 MISRA C++:2023 指南推出了 100% MISRA C++:2023? 規(guī)則覆蓋率。此版本還包括擴展的 C++20 語言支持、數(shù)據(jù)流分析的性能改進以及整個產(chǎn)品中的許多產(chǎn)品體驗增強功能。
增強對 C++20的 支持
此版本添加了以下語言功能支持:
? 模板參數(shù)列表和函數(shù)聲明的 requires-clause 約束
? 非類型約束的縮寫函數(shù)模板聲明
通過緩存提高數(shù)據(jù)流性能
? 通過求解器緩存縮短增量分析的數(shù)據(jù)流分析時間
? 對選定項目的測試表明,與第二次分析運行相比,分析時間縮短了 50% 以上
? 數(shù)據(jù)流還能夠通過緩存在函數(shù)超時期限內(nèi)完成更多分析
增強的 GNU 和 ISO C 算術(shù)類型支持
? 改進了 QAC 對文本和算術(shù)類型的處理,以顯著改善對語言中未充分利用的區(qū)域的支持,這些區(qū)域包括復雜類型、供應(yīng)商擴展類型和具有異常運算符的復雜表達式
編碼標準覆蓋率(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ōu)先級和級別的 CERT 類別
? 改進了 MISRA C:2023 合規(guī)性模塊規(guī)則的日語翻譯
? 改進選定標準的執(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
框架
? 改進了對宏擴展和模板實例化歷史記錄的跟蹤,以幫助診斷問題
? 增強的基于注釋的抑制引擎,允許每行有多個偏差原因
提高產(chǎn)品體驗
支持具有自動 CCT 生成功能的其他編譯器
? Synopsys Metaware
? Cadence Tensilica
? TI C6000系列
? Qualcomm Hexagon
? Clang 15
? Embarcadero BCC64
Visual Studio Code IDE 插件
? 改進了 VS Code 插件以支持遠程分析器執(zhí)行
Visual Studio 和 Eclipse IDE 插件
? 總體穩(wěn)定性改進
Validate
? 支持從 CLI 和 GUI 創(chuàng)建Validate項目
CLI
? 新的 qacli 視圖 選項,用于輸出規(guī)則沖突詳細信息
? 增強了 %K 類別說明符,以便更輕松地映射到規(guī)則
? 不存在 HOME 環(huán)境變量的故障
GUI
? 項目列表中的新上下文菜單項,用于打開項目位置
? 樹視圖面板中的文件名搜索
? 新的上下文菜單項,用于打開所選文件的預處理源
? 從源碼跳轉(zhuǎn)到預處理的源文件
Helix QAC 2023.4 中的重要更改
合規(guī)性模塊目錄更改
從 Helix QAC 2023.4 開始,該工具不再從舊的“PRQA”目錄中讀取合規(guī)性模塊。合規(guī)性模塊將僅從等效的“Perforce”文件目錄中讀取。
以下是現(xiàn)已過時的文件目錄:
? %LOCALAPPDATA%\PRQA\installed_components.in
? %PROGRAMDATA%\PRQA\installed_components.ini
? ${HOME}/.config/PRQA/installed_components.ini
? /etc/prqa.d/installed_components.ini
-
嵌入式
+關(guān)注
關(guān)注
5198文章
20449瀏覽量
334061 -
代碼
+關(guān)注
關(guān)注
30文章
4968瀏覽量
73970 -
測試工具
+關(guān)注
關(guān)注
0文章
61瀏覽量
12262 -
靜態(tài)測試
+關(guān)注
關(guān)注
0文章
34瀏覽量
6866
發(fā)布評論請先 登錄
開源項目BomberCat安全測試工具總體介紹
Perforce QAC 2025.4 的新特性
什么是CVE?如何通過SAST/靜態(tài)分析工具Perforce QAC 和 Klocwork應(yīng)對CVE?
嵌入式C/C++回歸測試四大最佳實踐(附自動化測試工具TESSY使用教程)
C/C++代碼靜態(tài)測試工具Perforce QAC 2025.3的新特性
嵌入式軟件測試與專業(yè)測試工具的必要性深度解析
汽車軟件團隊必看:基于靜態(tài)代碼分析工具Perforce QAC的ISO 26262合規(guī)實踐
知識分享 | MXAM入門簡介:使用MXAM進行靜態(tài)測試
Perforce QAC產(chǎn)品簡介:面向C/C++的靜態(tài)代碼分析工具(已通過SO 26262認證)
調(diào)試工具:Eclipse調(diào)試工具欄與窗口的深入分析
RT-Trace調(diào)試工具正式發(fā)布!
Helix QAC 2025.1 重磅發(fā)布!MISRA C:2025? 100%覆蓋
如何在Visual Studio 2022中運行FX3吞吐量基準測試工具?
代碼靜態(tài)測試工具Perforce QAC 2025.1新特性
Perforce品牌及產(chǎn)品名更新:涵蓋版本控制Perforce P4(原Helix Core)、靜態(tài)代碼分析Perforce QAC(原Helix QAC)等
代碼靜態(tài)測試工具Helix QAC 2023.4新發(fā)布
評論