Perforce Klocwork 現(xiàn)已更新至2025.2版本！該版本增強了對 C/C++的分析能力，提升了現(xiàn)代 C++ 分析的準確性，并改進了對源文件編碼的支持。該版本還為 MISRA? C:2025 標準引入了新的分類體系，并增強了 Visual Studio Code 插件的可用性。

在 2025.2 版本中，Perforce Validate 的更新為使用 CI 構(gòu)建的項目提供了更高的性能和可擴展性，并減少了存儲占用空間。其他改進還包括：新增問題詳情的表格視圖，作為現(xiàn)有問題列表的替代方案；改進合規(guī)性報告，使 MISRA 和通用報告格式之間保持更高的一致性。

Klocwork 2025.2 的增強功能

C/C++ 分析引擎

默認啟用現(xiàn)代分析模式，支持更廣泛的 C++ 分析：

現(xiàn)代模式現(xiàn)已成為 C/C++ 數(shù)據(jù)流分析的默認模式，提供更強的語言特性支持，能夠更有效地分析現(xiàn)代 C++ 代碼。

啟用現(xiàn)代模式后，由于語言特性的覆蓋更全面，可能會發(fā)現(xiàn)更多的新缺陷。在升級到 2025.2 版本時，建議您使用升級前最后一次分析所用的相同代碼版本重新運行分析，以便隔離因升級帶來的變更，然后仔細審查差異。

默認啟用現(xiàn)代分析模式，支持更廣泛的 C++ 分析：

現(xiàn)代模式現(xiàn)已成為 C/C++ 數(shù)據(jù)流分析的默認模式，提供更強的語言特性支持，能夠更有效地分析現(xiàn)代 C++ 代碼。

啟用現(xiàn)代模式后，由于語言特性的覆蓋更全面，可能會發(fā)現(xiàn)更多的新缺陷。在升級到 2025.2 版本時，建議您使用升級前最后一次分析所用的相同代碼版本重新運行分析，以便隔離因升級帶來的變更，然后仔細審查差異。

Perforce Validate 平臺改進

數(shù)據(jù)庫改進：

針對 CI 構(gòu)建的數(shù)據(jù)庫結(jié)構(gòu)已更新，以減少存儲占用和數(shù)據(jù)庫在高負載下的頻繁寫入。這將提供更好的性能和可擴展性，尤其適用于 CI 活動頻繁的項目。

更靈活地查看和管理問題：

在 Validate 的“問題”（Issues）標簽頁中，可選擇使用現(xiàn)有的列表視圖，或全新的表格視圖來對問題進行排序、篩選、搜索和更新，并完全支持批量操作。

擴展了對規(guī)則引用查詢的支持：

在 Validate 2025.2 中，現(xiàn)在可通過分類體系（taxonomy）和規(guī)則引用（rule reference）來搜索問題列表。在“問題”標簽頁和“問題詳情”面板中，將顯示與每個問題相關(guān)的所有分類和引用信息。此外，還支持使用 Web API 搜索操作來進行分類和引用查詢。

改進構(gòu)建保留策略的工作流程：

Validate 的自動構(gòu)建刪除功能可通過刪除舊的構(gòu)建來幫助管理存儲空間。現(xiàn)在，您可以在 Validate門戶、Web API 或命令行工具中更精細地配置項目或流級別的構(gòu)建保留策略。

改進合規(guī)性報告：

Validate 合規(guī)性報告的內(nèi)容和布局已更新，使 MISRA 報告與通用報告格式之間更加一致，并提供有關(guān)所選構(gòu)建應(yīng)用配置的更多信息，包括抑制配置文件（suppression configuration file）。在通用合規(guī)性報告中，“文件摘要”（File Summary）現(xiàn)在會顯示每個文件的規(guī)則違規(guī)次數(shù)，以便更清晰地查看。此外，生成完整（非摘要）的合規(guī)性報告不再需要合規(guī)性許可證。

除了報告內(nèi)容的變更外，Validate 門戶和 Web API 還新增了操作功能，使刪除合規(guī)性報告更加便捷。

編碼標準

Klocwork 2025.2 新增了新的分類標準，適用于：MISRA C:2025；

增強了對以下標準的覆蓋：

– CERT C++

– MISRA C:2023、MISRA C:2012（含 Amendment 2）

此外，還更新了多個分類標準的規(guī)則/類別文本格式，以支持在合規(guī)性報告中，將規(guī)則名稱和描述分列顯示。

優(yōu)化使用體驗

IDE插件：

適用于VS Code的Perforce靜態(tài)分析插件現(xiàn)已包含“規(guī)則引用”列，支持按規(guī)則名稱和類別進行排序。

在 VS Code 插件中新增對單個文件進行分析的功能。

分析工具：

為幫助診斷分析流程中的問題并修復權(quán)限缺失情況，kwcheck 和 kwciagent 命令現(xiàn)在會在遇到問題時返回非零退出代碼。

Validate可用性改進：

在問題詳情瀏覽器的文件樹中，每個文件現(xiàn)在會單獨顯示代碼行數(shù)指標。

編譯器支持：

增強了對以下編譯器的支持：

• Clang
• TI cl430
• GNU iccarm
• QNX

Klocwork 2025.2 的重要變更

2025.2 版本中刪除 kwmatch 工具

自 Klocwork 2025 起，kwmatch 工具已被移除。如果您從舊版本升級，建議使用“流”（streams）管理項目分支，并使用 kwxsync 實現(xiàn)跨項目的問題同步。

如果您之前為特定項目使用 kwmatch 并創(chuàng)建了數(shù)據(jù)庫，在將這些項目遷移到 2025.2 或更高版本后，該數(shù)據(jù)庫將不再使用，建議您將其刪除。

2025.2 版本中刪除 dbvalidate 清理工具

從 2025.2 版本開始，您不能再直接運行 dbvalidate 清理工具。部分用于刪除重復問題和注釋的 dbvalidate 命令仍保留，但僅在 Perforce 支持團隊明確建議時方可使用。

許可證管理變更

自 2025.1 版本起，引入以下許可證變更：

• Klocwork 工具現(xiàn)在使用 Reprise License Management (RLM) v16.1BL1。升級后的許可證服務(wù)器已包含在 Validate 安裝包中。若要與 Klocwork 2025.1 及以上版本兼容，所有舊版 RLM 服務(wù)器必須升級至該版本。
• 2024 年的許可證不兼容 Klocwork 2025.1 或更高版本。如需使用最新產(chǎn)品版本，請通過customer@shdsd.com聯(lián)系Klocwork代理商龍智，獲取新許可證。