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文章
7067瀏覽量
89131 -
編譯器
+關注
關注
1文章
1634瀏覽量
49163
發布評論請先 登錄
相關推薦
評論