隨著 2023.2 的發布,Klocwork 為 C、C++、C#、Java 和 JavaScript 分析提供了更新和改進。MISRA C:2012 AMD 2覆蓋率和DISA STIG ASD C/C++高嚴重性規則覆蓋率高達83%。還引入了針對 C 語言檢查器的附加路徑分析。
Validate平臺現在具有增強的問題瀏覽和篩選功能。
其他增強功能包括改進Microsoft Visual Studio 插件和 Project Streams in Validate 的穩定性和性能。
審查Validate中的問題
現在,您可以通過查看、修改和導航問題搜索列表,更輕松地在Validate中查看問題,而無需離開“Issue Details”頁面。
? 通過新的“File Navigation”窗格搜索單個文件并探索問題,該窗格啟用在使用相同瀏覽器時在會話之間持久存在的配置。
其他Validate平臺改進
? 使用 "度量元 "報告設計器在Validate中編輯閾值和總度量值報告定義。
? 利用新的命令行應用程序包,為Validate命令提供通用命名。
C/C++ 分析引擎
改進了 C/C++ 的語言功能覆蓋率和缺陷檢測:
? 增強了對 C++14 和 C++17 分析的支持。
? 添加了幾個 MISRA 規則并增加了 MISRA C:2012(最高 AMD 2)的覆蓋范圍。
? 增加了對 DISA STIG 高嚴重性規則、CERT、OWASP 和 CWE 的覆蓋范圍,包括為 2022 年 CWE Top 25 最危險的軟件弱點添加分類法。
C# 分析引擎
改進了對 C# 8.0 語言規范的支持。新的語言功能支持包括:
? 接口中的靜態構造函數。
? 接口中的嵌套類型和運算符聲明。
? 內插verbatim字符串。
? 范圍和索引支持 …和 ^ 運算符。
? 使用新引擎對 C# 檢查程序進行額外的路徑分析。
Java 分析引擎
擴展了 Java 14 語言規范的覆蓋范圍。新功能包括:
? 改進路徑分析檢查程序對 Java 14 的支持。
? 100% 覆蓋 Jakarta EE。
JavaScript 分析引擎
? JavaScript 分析支持 .eslintignore 文件
? 用于指定項目目錄的 kwjsspec 工具的新選項
? --project-dir
編碼標準
Klocwork 2023.2 的新標準和擴展標準覆蓋范圍和分類標準:
? CERT
? CWE – 2022 CWE Top 25 最危險的軟件弱點
? DISA STIG v 5 - C/C++ 高嚴重性規則高達 83%
? MISRA – 改進了 MISRA C:2012 AMD 2 覆蓋范圍(需要支持人員提供額外實用程序,以實現最大覆蓋范圍)
? OWASP
產品體驗改進
Microsoft Visual Studio插件
使用 Visual Studio 擴展更快地開始分析。
? 在使用 kwcheck 命令作為外部分析引擎時,我們改進了 Visual Studio 擴展的構建規范生成性能。
項目流
改進了大量項目流的Validate平臺的性能。
? 顯示和使用項目流清單所需的時間大大減少。
第三方依賴項
? 軟件包中包含Apache Tomcat和Open JDK的升級版本。
有關新增功能的更多詳細信息,請參閱發行說明。
Klockwork 2023.2 的重要變化
許可證管理更改
自 2023.2 起,Klocwork 工具現在使用 Reprise 許可證管理器 (RLM) v15.0。
? 重要提示:升級后的 RLM v15.0 服務器包含在 Klocwork 2023.2 安裝中。任何早期的 RLM 服務器都需要升級到此版本才能與 Klocwork 2023.2 及更高版本配合使用。升級到 RLM v15.0 解決了在與服務器連接量較大的情況下Validate 2023.1 的服務器穩定性可能出現的問題。
? 2022 許可證與 Klocwork 2023.2 不兼容。升級時,請聯系 info@polelink.com 以獲取新許可證。
2022.4 SR/補丁可用
已創建 2021.4 至 2022.4 的補丁,以解決自動刪除版本中丟失的引用問題。Klocwork 2023.1 及更高版本不受影響。
? 使用 2022.4 的所有客戶都應升級到該軟件的最新版本。
-
測試
+關注
關注
8文章
5369瀏覽量
126924 -
嵌入式
+關注
關注
5090文章
19173瀏覽量
306837 -
嵌入式軟件測試
+關注
關注
2文章
27瀏覽量
6119
發布評論請先 登錄
相關推薦
評論