隨著 2023.2 的發(fā)布,Klocwork 為 C、C++、C#、Java 和 JavaScript 分析提供了更新和改進(jìn)。MISRA C:2012 AMD 2覆蓋率和DISA STIG ASD C/C++高嚴(yán)重性規(guī)則覆蓋率高達(dá)83%。還引入了針對(duì) C 語(yǔ)言檢查器的附加路徑分析。
Validate平臺(tái)現(xiàn)在具有增強(qiáng)的問題瀏覽和篩選功能。
其他增強(qiáng)功能包括改進(jìn)Microsoft Visual Studio 插件和 Project Streams in Validate 的穩(wěn)定性和性能。
審查Validate中的問題
現(xiàn)在,您可以通過(guò)查看、修改和導(dǎo)航問題搜索列表,更輕松地在Validate中查看問題,而無(wú)需離開“Issue Details”頁(yè)面。
? 通過(guò)新的“File Navigation”窗格搜索單個(gè)文件并探索問題,該窗格啟用在使用相同瀏覽器時(shí)在會(huì)話之間持久存在的配置。
其他Validate平臺(tái)改進(jìn)
? 使用 "度量元 "報(bào)告設(shè)計(jì)器在Validate中編輯閾值和總度量值報(bào)告定義。
? 利用新的命令行應(yīng)用程序包,為Validate命令提供通用命名。
C/C++ 分析引擎
改進(jìn)了 C/C++ 的語(yǔ)言功能覆蓋率和缺陷檢測(cè):
? 增強(qiáng)了對(duì) C++14 和 C++17 分析的支持。
? 添加了幾個(gè) MISRA 規(guī)則并增加了 MISRA C:2012(最高 AMD 2)的覆蓋范圍。
? 增加了對(duì) DISA STIG 高嚴(yán)重性規(guī)則、CERT、OWASP 和 CWE 的覆蓋范圍,包括為 2022 年 CWE Top 25 最危險(xiǎn)的軟件弱點(diǎn)添加分類法。
C# 分析引擎
改進(jìn)了對(duì) C# 8.0 語(yǔ)言規(guī)范的支持。新的語(yǔ)言功能支持包括:
? 接口中的靜態(tài)構(gòu)造函數(shù)。
? 接口中的嵌套類型和運(yùn)算符聲明。
? 內(nèi)插verbatim字符串。
? 范圍和索引支持 …和 ^ 運(yùn)算符。
? 使用新引擎對(duì) C# 檢查程序進(jìn)行額外的路徑分析。
Java 分析引擎
擴(kuò)展了 Java 14 語(yǔ)言規(guī)范的覆蓋范圍。新功能包括:
? 改進(jìn)路徑分析檢查程序?qū)?Java 14 的支持。
? 100% 覆蓋 Jakarta EE。
JavaScript 分析引擎
? JavaScript 分析支持 .eslintignore 文件
? 用于指定項(xiàng)目目錄的 kwjsspec 工具的新選項(xiàng)
? --project-dir
編碼標(biāo)準(zhǔn)
Klocwork 2023.2 的新標(biāo)準(zhǔn)和擴(kuò)展標(biāo)準(zhǔn)覆蓋范圍和分類標(biāo)準(zhǔn):
? CERT
? CWE – 2022 CWE Top 25 最危險(xiǎn)的軟件弱點(diǎn)
? DISA STIG v 5 - C/C++ 高嚴(yán)重性規(guī)則高達(dá) 83%
? MISRA – 改進(jìn)了 MISRA C:2012 AMD 2 覆蓋范圍(需要支持人員提供額外實(shí)用程序,以實(shí)現(xiàn)最大覆蓋范圍)
? OWASP
產(chǎn)品體驗(yàn)改進(jìn)
Microsoft Visual Studio插件
使用 Visual Studio 擴(kuò)展更快地開始分析。
? 在使用 kwcheck 命令作為外部分析引擎時(shí),我們改進(jìn)了 Visual Studio 擴(kuò)展的構(gòu)建規(guī)范生成性能。
項(xiàng)目流
改進(jìn)了大量項(xiàng)目流的Validate平臺(tái)的性能。
? 顯示和使用項(xiàng)目流清單所需的時(shí)間大大減少。
第三方依賴項(xiàng)
? 軟件包中包含Apache Tomcat和Open JDK的升級(jí)版本。
有關(guān)新增功能的更多詳細(xì)信息,請(qǐng)參閱發(fā)行說(shuō)明。
Klockwork 2023.2 的重要變化
許可證管理更改
自 2023.2 起,Klocwork 工具現(xiàn)在使用 Reprise 許可證管理器 (RLM) v15.0。
? 重要提示:升級(jí)后的 RLM v15.0 服務(wù)器包含在 Klocwork 2023.2 安裝中。任何早期的 RLM 服務(wù)器都需要升級(jí)到此版本才能與 Klocwork 2023.2 及更高版本配合使用。升級(jí)到 RLM v15.0 解決了在與服務(wù)器連接量較大的情況下Validate 2023.1 的服務(wù)器穩(wěn)定性可能出現(xiàn)的問題。
? 2022 許可證與 Klocwork 2023.2 不兼容。升級(jí)時(shí),請(qǐng)聯(lián)系 info@polelink.com 以獲取新許可證。
2022.4 SR/補(bǔ)丁可用
已創(chuàng)建 2021.4 至 2022.4 的補(bǔ)丁,以解決自動(dòng)刪除版本中丟失的引用問題。Klocwork 2023.1 及更高版本不受影響。
? 使用 2022.4 的所有客戶都應(yīng)升級(jí)到該軟件的最新版本。
-
測(cè)試
+關(guān)注
關(guān)注
9文章
6211瀏覽量
131382 -
嵌入式
+關(guān)注
關(guān)注
5199文章
20454瀏覽量
334261 -
嵌入式軟件測(cè)試
+關(guān)注
關(guān)注
2文章
27瀏覽量
6296
發(fā)布評(píng)論請(qǐng)先 登錄
工業(yè)協(xié)議轉(zhuǎn)換物聯(lián)網(wǎng)網(wǎng)關(guān)是什么
京東多語(yǔ)言質(zhì)量解決方案
汽車網(wǎng)絡(luò)安全開發(fā)語(yǔ)言選型指南:C/C++/Rust/Java等主流語(yǔ)言對(duì)比+Perforce QAC/Klocwork工具支持
德思特方案 | Spectrum NETBOX:一體化源響應(yīng)測(cè)試,精準(zhǔn)解鎖半導(dǎo)體性能驗(yàn)證
什么是CVE?如何通過(guò)SAST/靜態(tài)分析工具Perforce QAC 和 Klocwork應(yīng)對(duì)CVE?
阿里巴巴國(guó)際站關(guān)鍵字搜索 API 實(shí)戰(zhàn):3 步搞定多語(yǔ)言適配 + 限流破局,詢盤量提升 40%
速賣通全球運(yùn)營(yíng)利器:商品詳情接口多語(yǔ)言 + 合規(guī) + 物流適配技術(shù)全解析
用藥提醒新升級(jí):WT588E02B-8S語(yǔ)音提示芯片實(shí)現(xiàn)語(yǔ)言播報(bào)
廣州唯創(chuàng)電子WT588F系列語(yǔ)音芯片:PCBA在板更新,開啟智能語(yǔ)音開發(fā)新紀(jì)元
如何正確選購(gòu)功率半導(dǎo)體器件靜態(tài)參數(shù)測(cè)試機(jī)?
EASY EAl Orin Nano(RK3576) whisper語(yǔ)音識(shí)別訓(xùn)練部署教程
匠芯創(chuàng)發(fā)布新版GUI開發(fā)工具 新增多國(guó)語(yǔ)言設(shè)置等功能
芯資訊|廣州唯創(chuàng)電子語(yǔ)音芯片遠(yuǎn)程更新方案全解析
靜態(tài)代碼測(cè)試多語(yǔ)言特長(zhǎng)生: Klocwork 2023.2更新快訊
評(píng)論