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

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

Klocwork 2025.2 的增強(qiáng)功能

C/C++ 分析引擎

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

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

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

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

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

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

Perforce Validate 平臺(tái)改進(jìn)

數(shù)據(jù)庫(kù)改進(jìn)：

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

更靈活地查看和管理問(wèn)題：

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

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

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

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

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

改進(jìn)合規(guī)性報(bào)告：

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

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

編碼標(biāo)準(zhǔn)

Klocwork 2025.2 新增了新的分類標(biāo)準(zhǔn)，適用于：MISRA C:2025；

增強(qiáng)了對(duì)以下標(biāo)準(zhǔn)的覆蓋：

– CERT C++

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

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

優(yōu)化使用體驗(yàn)

IDE插件：

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

在 VS Code 插件中新增對(duì)單個(gè)文件進(jìn)行分析的功能。

分析工具：

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

Validate可用性改進(jìn)：

在問(wèn)題詳情瀏覽器的文件樹(shù)中，每個(gè)文件現(xiàn)在會(huì)單獨(dú)顯示代碼行數(shù)指標(biāo)。

編譯器支持：

增強(qiáng)了對(duì)以下編譯器的支持：

• Clang
• TI cl430
• GNU iccarm
• QNX

Klocwork 2025.2 的重要變更

2025.2 版本中刪除 kwmatch 工具

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

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

2025.2 版本中刪除 dbvalidate 清理工具

從 2025.2 版本開(kāi)始，您不能再直接運(yùn)行 dbvalidate 清理工具。部分用于刪除重復(fù)問(wèn)題和注釋的 dbvalidate 命令仍保留，但僅在 Perforce 支持團(tuán)隊(duì)明確建議時(shí)方可使用。

許可證管理變更

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

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