對于 2022 年的最終版本,Klocwork 2022.4提供了針對C、C++、C#、Java的更新和改進,并增強了對Android 13的支持。
此外,此版本還包括對 MISRA C:2012和DISA STIG編碼標(biāo)準(zhǔn)規(guī)則覆蓋范圍的改進、新的和改進的除以零漏洞檢查器,以及驗證平臺中許多功能的總體使用質(zhì)量改進。
C# 分析引擎
改進了對 C# 7.3 語言規(guī)范的支持。新的語言功能包括:
- 非托管類型約束
- 自動實現(xiàn)屬性的屬性(Auto-implemented property attributes)
- 可重新分配的ref局部變量
- 對堆棧分配數(shù)組的初始值設(shè)定項支持
- 初始化器中的表達(dá)式變量
- 元組相等
Java 分析引擎
支持 Java 14 語言規(guī)范。新功能包括:
- 改進了編譯過程監(jiān)控,減少了 Java 14 的解析錯誤和警告。
- 升級了 Java 知識庫,以提供更高的準(zhǔn)確性并支持Java 14 API。
- 語言功能支持:
- Switch表達(dá)式
- Yield聲明
- 箭頭表示法和Multi-Case
支持 Gradle Kotlin DSL 格式,提供傳統(tǒng)Groovy DSL的替代語法。
C/C++ 分析引擎
改進了相對路徑的處理,以增強缺陷抑制功能。
- 使用缺陷抑制功能專注于重要問題。過濾掉代碼中的干擾缺陷或問題,例如庫、頭文件和第三方代碼。
Android 13 支持增強功能
Klocwork C、C++和Java分析器完全支持Android 13。
編碼標(biāo)準(zhǔn)
Klocwork 2022.4 的新標(biāo)準(zhǔn)和擴展標(biāo)準(zhǔn)覆蓋范圍和分類法:
- DISA STIG v5 – Java
- MISRA C:2012 AMD2具有98%的規(guī)則覆蓋率
新的漏洞檢查器
2022.4 改進了Klocwork支持的語言中的幾個檢查器:C和C++。檢查器發(fā)現(xiàn)以下缺陷:
- 除以零
- DBZ.ITERATOR(程序內(nèi)缺陷檢測)
- DBZ.ITERATOR.CALL(過程間缺陷檢測)
這兩項還改進了包括對不同步長、轉(zhuǎn)義條件(if 條件)和浮點數(shù)的支持。
提高使用質(zhì)量
Validate平臺
- 可自定義的文檔鏈接提供了在首頁上編輯/添加新文檔鏈接的功能。
- Auto-Delete Builds權(quán)限
- 在“構(gòu)建”頁面上管理自動刪除舊構(gòu)建標(biāo)志,并設(shè)置自動刪除閾值
- 管理“Edit build”頁面上的“Do no auto delete this build”標(biāo)志和“update_build”WebAPI命令的“keept”標(biāo)志
- 管理View權(quán)限
- 添加了在創(chuàng)建新視圖和編輯與權(quán)限運營商共享的私有視圖時管理“public”標(biāo)志的功能
- Streams權(quán)限
- 可以向用戶分配權(quán)限,以限制對流項目的父項或子項的訪問
- 改進了唯一問題計數(shù),以考慮保存的項目view
- WebAPI 現(xiàn)在可以創(chuàng)建Validate項目和Streams
有關(guān)新增功能的更多詳細(xì)信息,請參閱發(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生成新的產(chǎn)品許可證文件,如果您需要舊Klocwork版本的FLEX許可證文件,我們可以為您提供。
預(yù)公告
路徑 API 版本升級– Klocwork 2023.1
在 Klocwork 2023.1 發(fā)布后,需要檢查自定義C/C++ PATH檢查器的多線程兼容性。我們建議您查看自定義檢查器以了解潛在的競爭風(fēng)險,并使用2023.1 Klocwork路徑API頭文件和庫重新編譯。未重新編譯的自定義檢查器將繼續(xù)工作,但無法使用即將推出的并行化功能。請參閱我們的發(fā)行說明以了解更多信息。
報廢公告 – Klocwork 2023.1
從 Klocwork 2023.1 開始,將不支持以下操作系統(tǒng)和安裝程序:
- 蘋果操作系統(tǒng)
此外,對 FLEXlm/FlexNet Publisher 許可證管理器的支持隨著Klocwork 2023.1的發(fā)布而結(jié)束。
-
嵌入式
+關(guān)注
關(guān)注
5144文章
19575瀏覽量
315802 -
代碼
+關(guān)注
關(guān)注
30文章
4891瀏覽量
70367
發(fā)布評論請先 登錄
如何在Visual Studio 2022中運行FX3吞吐量基準(zhǔn)測試工具?
代碼靜態(tài)測試工具Perforce QAC 2025.1新特性

緩沖區(qū)溢出漏洞的原理、成因、類型及最佳防范實踐(借助Perforce 的Klocwork/Hleix QAC等靜態(tài)代碼分析工具)

芯科科技Z-Wave設(shè)備測試工具介紹

Web端TCP/UDP測試工具!小白必學(xué)~

嵌入軟件單元/集成測試工具專業(yè)分析
CAN總線測試工具選擇與使用
Perforce靜態(tài)分析工具2024.2新增功能:Helix QAC全新CI/CD集成支持、Klocwork分析引擎改進和安全增強

恒訊科技分析:如何測試海外靜態(tài)IP服務(wù)的穩(wěn)定性和速度?
代碼靜態(tài)測試工具Klocwork 2024.2新發(fā)布

代碼靜態(tài)測試工具Helix QAC 2024.2新發(fā)

DevOps中的質(zhì)量門工作原理,以及靜態(tài)代碼分析Klocwork和Perforce Helix QAC在質(zhì)量門中的實踐應(yīng)用
單元測試、集成測試自動化工具

評論