隨著 2023.2 的發(fā)布,Klocwork 為 C、C++、C#、Java 和 JavaScript 分析提供了更新和改進。MISRA C:2012 AMD 2覆蓋率和DISA STIG ASD C/C++高嚴重性規(guī)則覆蓋率高達83%。還引入了針對 C 語言檢查器的附加路徑分析。
Validate平臺現(xiàn)在具有增強的問題瀏覽和篩選功能。
其他增強功能包括改進Microsoft Visual Studio 插件和 Project Streams in Validate 的穩(wěn)定性和性能。
審查Validate中的問題
現(xiàn)在,您可以通過查看、修改和導航問題搜索列表,更輕松地在Validate中查看問題,而無需離開“Issue Details”頁面。
? 通過新的“File Navigation”窗格搜索單個文件并探索問題,該窗格啟用在使用相同瀏覽器時在會話之間持久存在的配置。
其他Validate平臺改進
? 使用 "度量元 "報告設計器在Validate中編輯閾值和總度量值報告定義。
? 利用新的命令行應用程序包,為Validate命令提供通用命名。
C/C++ 分析引擎
改進了 C/C++ 的語言功能覆蓋率和缺陷檢測:
? 增強了對 C++14 和 C++17 分析的支持。
? 添加了幾個 MISRA 規(guī)則并增加了 MISRA C:2012(最高 AMD 2)的覆蓋范圍。
? 增加了對 DISA STIG 高嚴重性規(guī)則、CERT、OWASP 和 CWE 的覆蓋范圍,包括為 2022 年 CWE Top 25 最危險的軟件弱點添加分類法。
C# 分析引擎
改進了對 C# 8.0 語言規(guī)范的支持。新的語言功能支持包括:
? 接口中的靜態(tài)構造函數(shù)。
? 接口中的嵌套類型和運算符聲明。
? 內(nèi)插verbatim字符串。
? 范圍和索引支持 …和 ^ 運算符。
? 使用新引擎對 C# 檢查程序進行額外的路徑分析。
Java 分析引擎
擴展了 Java 14 語言規(guī)范的覆蓋范圍。新功能包括:
? 改進路徑分析檢查程序?qū)?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++ 高嚴重性規(guī)則高達 83%
? MISRA – 改進了 MISRA C:2012 AMD 2 覆蓋范圍(需要支持人員提供額外實用程序,以實現(xiàn)最大覆蓋范圍)
? OWASP
產(chǎn)品體驗改進
Microsoft Visual Studio插件
使用 Visual Studio 擴展更快地開始分析。
? 在使用 kwcheck 命令作為外部分析引擎時,我們改進了 Visual Studio 擴展的構建規(guī)范生成性能。
項目流
改進了大量項目流的Validate平臺的性能。
? 顯示和使用項目流清單所需的時間大大減少。
第三方依賴項
? 軟件包中包含Apache Tomcat和Open JDK的升級版本。
有關新增功能的更多詳細信息,請參閱發(fā)行說明。
Klockwork 2023.2 的重要變化
許可證管理更改
自 2023.2 起,Klocwork 工具現(xiàn)在使用 Reprise 許可證管理器 (RLM) v15.0。
? 重要提示:升級后的 RLM v15.0 服務器包含在 Klocwork 2023.2 安裝中。任何早期的 RLM 服務器都需要升級到此版本才能與 Klocwork 2023.2 及更高版本配合使用。升級到 RLM v15.0 解決了在與服務器連接量較大的情況下Validate 2023.1 的服務器穩(wěn)定性可能出現(xiàn)的問題。
? 2022 許可證與 Klocwork 2023.2 不兼容。升級時,請聯(lián)系 info@polelink.com 以獲取新許可證。
2022.4 SR/補丁可用
已創(chuàng)建 2021.4 至 2022.4 的補丁,以解決自動刪除版本中丟失的引用問題。Klocwork 2023.1 及更高版本不受影響。
? 使用 2022.4 的所有客戶都應升級到該軟件的最新版本。
-
測試
+關注
關注
8文章
5399瀏覽量
127125 -
嵌入式
+關注
關注
5095文章
19189瀏覽量
307987 -
嵌入式軟件測試
+關注
關注
2文章
27瀏覽量
6126
發(fā)布評論請先 登錄
相關推薦
Meta與UNESCO合作推動多語言AI發(fā)展
微軟Copilot Voice升級,積極拓展多語言支持
語音IC方案,在交通信號燈語音提示器的應用解析,NV040D
![語音IC方案,在交通信號燈語音提示器的應用解析,NV040D](https://file1.elecfans.com/web1/M00/F4/1D/wKgaoWckYgyAXiacAACL7y59ej4413.png)
ChatGPT 的多語言支持特點
科大訊飛發(fā)布訊飛星火4.0 Turbo大模型及星火多語言大模型
Perforce靜態(tài)分析工具2024.2新增功能:Helix QAC全新CI/CD集成支持、Klocwork分析引擎改進和安全增強
![Perforce<b class='flag-5'>靜態(tài)</b>分析工具2024.2新增功能:Helix QAC全新CI/CD集成支持、<b class='flag-5'>Klocwork</b>分析引擎改進和安全增強](https://file1.elecfans.com/web2/M00/E7/A3/wKgZomZMQFaABPseAAAwD5kHnx4413.png)
代碼靜態(tài)測試工具Klocwork 2024.2新發(fā)布
![<b class='flag-5'>代碼</b><b class='flag-5'>靜態(tài)</b><b class='flag-5'>測試</b>工具<b class='flag-5'>Klocwork</b> 2024.2新發(fā)布](https://file1.elecfans.com/web2/M00/00/BE/wKgZomaxo5qAB7NrAAAgMTA8g3Q197.png)
DevOps中的質(zhì)量門工作原理,以及靜態(tài)代碼分析Klocwork和Perforce Helix QAC在質(zhì)量門中的實踐應用
代碼靜態(tài)測試工具 Klocwork 2024.1版新功能解讀
![<b class='flag-5'>代碼</b><b class='flag-5'>靜態(tài)</b><b class='flag-5'>測試</b>工具 <b class='flag-5'>Klocwork</b> 2024.1版新功能解讀](https://file1.elecfans.com/web2/M00/DA/EC/wKgZomYrFIiALNSgAABKq-GI1ww411.png)
OpenHarmony開發(fā)技術:【國際化】實例
![OpenHarmony開發(fā)技術:【國際化】實例](https://file1.elecfans.com/web2/M00/C8/C0/wKgaomYWoeKAUzmXAAFZ07_FPws353.jpg)
Vitis2023.2使用之—— updata to Vitis Unified IDE
Vitis2023.2使用之—— classic Vitis IDE
大語言模型(LLMs)如何處理多語言輸入問題
![大<b class='flag-5'>語言</b>模型(LLMs)如何處理<b class='flag-5'>多語言</b>輸入問題](https://file1.elecfans.com/web2/M00/C3/10/wKgZomXpYpaAMZDvAAAVaQD0BhM225.png)
大語言模型中的語言與知識:一種神秘的分離現(xiàn)象
![大<b class='flag-5'>語言</b>模型中的<b class='flag-5'>語言</b>與知識:一種神秘的分離現(xiàn)象](https://file1.elecfans.com/web2/M00/C0/4A/wKgZomXUTdmAWHJkAAAztNFPoMc630.png)
評論