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文章
7238瀏覽量
90946 -
編譯器
+關注
關注
1文章
1654瀏覽量
49844
發布評論請先 登錄
代碼靜態測試工具Perforce QAC 2025.1新特性

Perforce品牌及產品名更新:涵蓋版本控制Perforce P4(原Helix Core)、靜態代碼分析Perforce QAC(原Helix QAC)等

緩沖區溢出漏洞的原理、成因、類型及最佳防范實踐(借助Perforce 的Klocwork/Hleix QAC等靜態代碼分析工具)

SOLIDWORKS 2025 PDM新增功能

版本控制系統Helix Core 2024.2增強功能:與OpenTelemetry協議集成、Delta同步和傳輸等

SOLIDWORKS 2025設計新增功能
ChatGPT新增實時搜索與高級語音功能
SOLIDWORKS 2025新增功能介紹
HyperLynx 2409的新增部分功能
Helix QAC 2024.3新特性速覽

HyperLynx 2409新增功能和改進功能
Perforce靜態分析工具2024.2新增功能:Helix QAC全新CI/CD集成支持、Klocwork分析引擎改進和安全增強

代碼靜態測試工具Helix QAC 2024.2新發

評論