Perforce QAC 2025.3通過更新結(jié)果存儲處理提供了性能改進,可以顯著減少總分析時間,具體取決于項目結(jié)構(gòu)和分析所使用的硬件設(shè)備。此版本還增強了對 QNX 8.0編譯器的支持,以及對Perforce Validate中QAC項目的相對/根路徑的支持。C++分析也得到了增強,增加了用于檢測 C++并發(fā)問題的新檢查,并改進了實體名稱和實例化順序的建模。對Validate的更新包括減少了具有多流項目的數(shù)據(jù)庫存儲空間,以及改進了Validate合規(guī)性報告的一致性和可讀性。
結(jié)果存儲性能改進
底層的結(jié)果存儲技術(shù)已更新,根據(jù)項目和分析所用的硬件設(shè)備的不同,這些改進可以在分析期間帶來顯著的性能提升,特別是對于具有大量線程的硬件。對于總診斷數(shù)量非常多的項目,報告生成持續(xù)時間與舊版本相比可能有所變化,但 2025.3版本的完整分析和報告生成的總時間預(yù)計將低于舊版本。
Validate集成改進
在將項目結(jié)果上傳到 Validate時,路徑格式先前僅限于絕對路徑。在2025.3中,可以指定不同的路徑格式,即絕對路徑、相對路徑或根路徑,這與桌面工具中項目路徑的可用選項保持一致。
增強的 C++并發(fā)分析
2025.3版本包括針對C++并發(fā)多線程的新分析,包括以下新檢查:
- 檢測一組互斥鎖鎖定對象聲明。
- 檢測使用std::lock鎖定的互斥鎖何時不受互斥鎖對象管理。
語言特性支持
此版本增強了對 C++語言特性和結(jié)構(gòu)的支持,包括:
- 修復(fù)了constexpr支持,以確保正確處理委托和繼承構(gòu)造函數(shù),并識別不拋出的構(gòu)造函數(shù)。
- 改進了實體名稱的建模,以便在構(gòu)建參數(shù)名稱時使用消息上下文中模板參數(shù)。
- 改進了模板參數(shù)匹配。
- 在檢查類型完整性時,更好地建模了顯式實例化類的成員和函數(shù)參數(shù)的實例化順序。
Validate平臺改進和功能
合規(guī)性報告改進
Validate合規(guī)性報告已更新,以提高可讀性和完整性,通用報告中的規(guī)則摘要部分現(xiàn)在顯示所有規(guī)則類別,包括那些沒有映射檢查器的類別,以便您可以對照完整標準檢查合規(guī)性。MISRA合規(guī)性報告包含兩個新的合規(guī)級別:“未強制執(zhí)行(未應(yīng)用)”和“未強制執(zhí)行(已禁用)”,以識別映射到某個規(guī)則的所有檢查器都已被禁用的實例。
安全性改進
MariaDB服務(wù)器版本已升級,以確保包含最新的安全更新,并且改進了與客戶端工具處理TLS/SSL證書的方式。
易用性增強
改進的編譯器支持
- QNX
- Clang
- IAR
- Renesas
- GNU
GUI和CLI改進
- 允許上傳到 Validate時指定不同的路徑格式。
- 創(chuàng)建項目時根據(jù)項目語言自動選擇 CCT。
- 增加了自動生成預(yù)處理源代碼的選項。
IDE插件
- 解決了合規(guī)性模塊規(guī)則幫助鏈接的問題。
- 通過使用更新的技術(shù)檢索結(jié)果,提高了 Visual Studio和Eclipse插件的穩(wěn)健性。
- 支持 Eclipse 2025-06。
Perforce QAC 2025.3中的重要變更
2025.3中對CMA解決方案處理的變更
從 2025.3開始,從Eclipse和Visual Studio插件中配置和啟動CMA解決方案分析的功能已被移除,目前必須使用 GUI/CLI(命令行)來處理 CMA解決方案。此外,CMA解決方案圖標將從QAC GUI工具欄中移除。該功能仍將在GUI菜單中可用。
2025.2中產(chǎn)品名稱更改為Perforce QAC
從 2025.2開始,產(chǎn)品體現(xiàn)了名稱從 Helix QAC更改為Perforce QAC以及新logo。安裝程序和用戶界面已更新為引用 Perforce QAC,并且安裝和用戶數(shù)據(jù)的位置已更新如下:
- 默認安裝位置已更改為:
- Linux系統(tǒng):$HOME/Perforce/QAC-2025.2
- Windows系統(tǒng):C:\Perforce\QAC-2025.2
- 默認 UDL已更改為:
- Linux系統(tǒng):$HOME/.config/Perforce/QAC-2025.2
- Windows系統(tǒng):%LOCALAPPDATA%\Perforce\QAC-2025.2
- 查看當前 UDL位置請參見'qacli config udl --list --current'
- Helix_Generic_C和Helix_Generic_C++CCTs已被棄用,并分別替換為QAC_Generic_C和QAC_Generic_C++ CCTs。
許可證管理變更
從 2025.1開始引入了以下許可證變更:
- 新的 RLM v16.1BL1服務(wù)器安裝程序隨Perforce QAC 2025.1版本一起提供。如果將Perforce QAC與Validate 2025.1一起使用,則必須升級到此服務(wù)器版本。舊版本的Perforce QAC也可以與新的RLM 16.1BL1服務(wù)器一起使用。
- 許可證特性現(xiàn)在基于年份,并將顯示為 25.0等版本號。
- 2024年許可證與Perforce QAC 2025.1或更高版本不兼容,有必要通過聯(lián)系Perforce(revops-apptesting@perforce.com)請求新許可證。
- 由于許可證變更,無法將 2024.4及更早版本的合規(guī)性模塊與Perforce QAC 2025.1或更高版本一起使用,有必要升級到匹配版本的合規(guī)性模塊。
生命周期終止公告
預(yù)公告
棄用qacli view的DIAGLIST、ANNSRC和SARIF輸出類型
自 2025.1起,qacli view的DIAGLIST、ANNSRC和SARIF輸出類型已被棄用,并將在2026.1版本(預(yù)計于2026年第一季度末發(fā)布)中移除。這些類型目前僅在使用相應(yīng)許可證時才能訪問。建議通過使用帶有Validate的項目來集中管理分析結(jié)果,以準備應(yīng)對此變更,它提供了一種使用Validate Web API導出選定結(jié)果記錄的方法。
歡迎聯(lián)系北匯信息,獲取最新Perforce QAC 2025.3最新版軟件試用。
-
嵌入式
+關(guān)注
關(guān)注
5203文章
20551瀏覽量
335796 -
代碼
+關(guān)注
關(guān)注
30文章
4974瀏覽量
74207 -
靜態(tài)測試
+關(guān)注
關(guān)注
0文章
34瀏覽量
6884
發(fā)布評論請先 登錄
C語言安全編碼指南:MISRA C、CERT C、CWE 與 C Secure 標準對比與Perforce QAC應(yīng)用詳解
Perforce QAC 2025.4 的新特性
汽車網(wǎng)絡(luò)安全開發(fā)語言選型指南:C/C++/Rust/Java等主流語言對比+Perforce QAC/Klocwork工具支持
C與C++之間的聯(lián)系
如何調(diào)試和編程CW32F030C8T7?支持哪些調(diào)試工具和編程語言?
什么是CVE?如何通過SAST/靜態(tài)分析工具Perforce QAC 和 Klocwork應(yīng)對CVE?
嵌入式C/C++回歸測試四大最佳實踐(附自動化測試工具TESSY使用教程)
嵌入式軟件測試與專業(yè)測試工具的必要性深度解析
Perforce QAC 2025.2版本更新:虛擬內(nèi)存優(yōu)化、100%覆蓋CERT C規(guī)則、CI構(gòu)建性能提升等
汽車軟件團隊必看:基于靜態(tài)代碼分析工具Perforce QAC的ISO 26262合規(guī)實踐
汽車軟件開發(fā)必看:Perforce工具鏈助力高效開發(fā)與功能安全的最佳實踐
Perforce QAC產(chǎn)品簡介:面向C/C++的靜態(tài)代碼分析工具(已通過SO 26262認證)
Helix QAC 2025.1 重磅發(fā)布!MISRA C:2025? 100%覆蓋
MISRA C:2025新標準解析:新增規(guī)則、優(yōu)化點與靜態(tài)代碼分析工具支持(Perforce QAC、Klocwork)
代碼靜態(tài)測試工具Perforce QAC 2025.1新特性
C/C++代碼靜態(tài)測試工具Perforce QAC 2025.3的新特性
評論