綜合實力超群的靜態(tài)代碼測試工具Klocwork 2022.4 中的新增功能

對于 2022 年的最終版本，Klocwork 2022.4提供了針對C、C++、C#、Java的更新和改進，并增強了對Android 13的支持。

此外，此版本還包括對 MISRA C：2012和DISA STIG編碼標準規(guī)則覆蓋范圍的改進、新的和改進的除以零漏洞檢查器，以及驗證平臺中許多功能的總體使用質量改進。

C# 分析引擎

改進了對 C# 7.3 語言規(guī)范的支持。新的語言功能包括：

• 非托管類型約束
• 自動實現(xiàn)屬性的屬性（Auto-implemented property attributes）
• 可重新分配的ref局部變量
• 對堆棧分配數(shù)組的初始值設定項支持
• 初始化器中的表達式變量
• 元組相等

Java 分析引擎

支持 Java 14 語言規(guī)范。新功能包括：

• 改進了編譯過程監(jiān)控，減少了 Java 14 的解析錯誤和警告。
• 升級了 Java 知識庫，以提供更高的準確性并支持Java 14 API。
• 語言功能支持：
• Switch表達式
• Yield聲明
• 箭頭表示法和Multi-Case

支持 Gradle Kotlin DSL 格式，提供傳統(tǒng)Groovy DSL的替代語法。

C/C++ 分析引擎

改進了相對路徑的處理，以增強缺陷抑制功能。

• 使用缺陷抑制功能專注于重要問題。過濾掉代碼中的干擾缺陷或問題，例如庫、頭文件和第三方代碼。

Android 13 支持增強功能

Klocwork C、C++和Java分析器完全支持Android 13。

編碼標準

Klocwork 2022.4 的新標準和擴展標準覆蓋范圍和分類法：

• DISA STIG v5 – Java
• MISRA C：2012 AMD2具有98%的規(guī)則覆蓋率

新的漏洞檢查器

2022.4 改進了Klocwork支持的語言中的幾個檢查器：C和C++。檢查器發(fā)現(xiàn)以下缺陷：

• 除以零
• DBZ.ITERATOR（程序內缺陷檢測）
• DBZ.ITERATOR.CALL(過程間缺陷檢測）

這兩項還改進了包括對不同步長、轉義條件（if 條件）和浮點數(shù)的支持。

提高使用質量

Validate平臺

• 可自定義的文檔鏈接提供了在首頁上編輯/添加新文檔鏈接的功能。
• Auto-Delete Builds權限
• 在“構建”頁面上管理自動刪除舊構建標志，并設置自動刪除閾值
• 管理“Edit build”頁面上的“Do no auto delete this build”標志和“update_build”WebAPI命令的“keept”標志
• 管理View權限
• 添加了在創(chuàng)建新視圖和編輯與權限運營商共享的私有視圖時管理“public”標志的功能
• Streams權限
• 可以向用戶分配權限，以限制對流項目的父項或子項的訪問
• 改進了唯一問題計數(shù)，以考慮保存的項目view
• WebAPI 現(xiàn)在可以創(chuàng)建Validate項目和Streams

有關新增功能的更多詳細信息，請參閱發(fā)行說明。

Klocwork 2022.4 的重要變化

許可證管理更改

自 2022.2 起，Klocwork現(xiàn)在支持Reprise許可證管理器 （RLM）。

• FLEXlm/FlexNet Publisher 支持已棄用，但將繼續(xù)工作，直到Klocwork 2023.1發(fā)布。

在 2023.1 之前，您可以繼續(xù)使用現(xiàn)有的FLEX許可證文件。

• 將為Reprise生成新的產品許可證文件，如果您需要舊Klocwork版本的FLEX許可證文件，我們可以為您提供。

預公告

路徑 API 版本升級– Klocwork 2023.1

在 Klocwork 2023.1 發(fā)布后，需要檢查自定義C/C++ PATH檢查器的多線程兼容性。我們建議您查看自定義檢查器以了解潛在的競爭風險，并使用2023.1 Klocwork路徑API頭文件和庫重新編譯。未重新編譯的自定義檢查器將繼續(xù)工作，但無法使用即將推出的并行化功能。請參閱我們的發(fā)行說明以了解更多信息。

報廢公告 – Klocwork 2023.1

從 Klocwork 2023.1 開始，將不支持以下操作系統(tǒng)和安裝程序：

• 蘋果操作系統(tǒng)

此外，對 FLEXlm/FlexNet Publisher 許可證管理器的支持隨著Klocwork 2023.1的發(fā)布而結束。