Helix QAC 2022.4為MISRA C:2012 AMD3提供了100%的規則覆蓋,數據流被拆分為一個新的組件,提供了改進的分析性能,并升級了對C++20和C23的語言支持。
此外,此版本還包括改進的編譯器支持以及各種 Helix QAC 組件的總體使用質量改進。
01數據流組件
在 2022.4 中,數據流已從 QAC/QAC++ 引擎分離到自己的組件中。此更改提供:?改進了大型項目的數據流分析性能。?編譯單元間分析(Inter-TU)在數據流中內化,不再需要兩次分析傳遞。?頭文件中定義的函數每個項目分析一次。?數據流診斷是針對“數據流”組件而不是“qac”或“qacpp”報告的。?數據流是分析工具鏈中的一個單獨組件,具有自己的配置選項。
編碼標準覆蓋范圍(MISRA C:2012 AMD3,TS 17961 C 安全)
新的 MISRA C:2012 修正案 3 合規模塊,具有 100% 的規則覆蓋率
?針對 C 編程語言強制實施汽車行業軟件可靠性協會 (MISRA) 軟件開發指南。這些指南旨在促進嵌入式系統環境中的代碼功能安全性、信息安全性、可移植性和可靠性。?與新的 C11/C18 功能相關的其他規則。02C++20 語言支持
此版本改進了與 C++20 語言功能用法的兼容性,包括在 C++20 模式下處理 GCC 頭文件。
C23 語言支持此版本增加了對以下各項的 C23 語言功能支持:?放寬對變量參數列表的要求。
改進的編譯過程監控此版本改進了使用 “qainject”自動生成的 CCT,這簡化了編譯理解和編譯器設置;并且手冊中提供了額外的指導,用于創建自定義過濾器,以基于支持的編譯器(例如基于 GNU 的編譯器)創建新編譯器。
提高使用質量CLI ?添加了查看自基線以來的診斷功能(qacli 視圖)。?按抑制類型(qacliview --suppression-filter)進行過濾診斷。?以多種格式輸出 CMA 診斷:NONE, MULTIPLE, SINGLE(qacli view --multi-homed-format)。?使用戶能夠升級現有項目以與單獨的數據流組件兼容(qacli admin --upgrade)。GUI?數據流組件支持。Dashboard?數據流組件支持。Microsoft Visual Studio 2022 IDE 插件?支持使用 VS 2022 擴展安裝多個 Helix QAC。
03Helix QAC 2022.4的重要變化預公告CCT Generator 將于 2023 年無效Helix QAC 2023.1 將不再支持傳統的獨立 CCT Generator 。Helix QAC 2021.3 中引入的“qainject”工具將取代當前的 CCT Generator 。因此,使用舊版工具生成的 CCT 將被棄用且不再受支持。
從 QAC 軟件包中刪除不受支持的靜態 CCT隨著使用“qainject”自動生成 CCT 的各種編譯器的改進構建監控,到 2023.1 將刪除以前包含在 Helix QAC 包中的大多數靜態 CCT。與使用靜態默認 CCT 相比,自動生成的 CCT 有望提供更準確的分析結果。其目的是刪除除GNU gcc、Visual Studio和通用編譯器之外的所有CCT。
-
數據
+關注
關注
8文章
7335瀏覽量
94765 -
編譯器
+關注
關注
1文章
1672瀏覽量
51606
發布評論請先 登錄
C語言安全編碼指南:MISRA C、CERT C、CWE 與 C Secure 標準對比與Perforce QAC應用詳解
Perforce QAC 2025.4 的新特性
汽車網絡安全開發語言選型指南:C/C++/Rust/Java等主流語言對比+Perforce QAC/Klocwork工具支持
MokuOS 4.1新增儀器功能:高速信號采集記錄回放儀
什么是CVE?如何通過SAST/靜態分析工具Perforce QAC 和 Klocwork應對CVE?
C/C++代碼靜態測試工具Perforce QAC 2025.3的新特性
Perforce QAC 2025.2版本更新:虛擬內存優化、100%覆蓋CERT C規則、CI構建性能提升等
汽車軟件團隊必看:基于靜態代碼分析工具Perforce QAC的ISO 26262合規實踐
匠芯創發布新版GUI開發工具 新增多國語言設置等功能
Perforce QAC產品簡介:面向C/C++的靜態代碼分析工具(已通過SO 26262認證)
《仿盒馬》app開發技術分享-- 新增地址(28)
MISRA C:2025新標準解析:新增規則、優化點與靜態代碼分析工具支持(Perforce QAC、Klocwork)
代碼靜態測試工具Perforce QAC 2025.1新特性
Perforce品牌及產品名更新:涵蓋版本控制Perforce P4(原Helix Core)、靜態代碼分析Perforce QAC(原Helix QAC)等
Helix QAC 2022.4 中的新增功能
評論