Klocwork 2023.3發(fā)布,新增功能讓您的構(gòu)建管理更輕松!

Klocwork2023.3的新增功能
Klocwork 2023.3使用構(gòu)建標(biāo)記為流(Stream)和CI/CD分析管道提供了構(gòu)建管理的改進(jìn)。C/C++分析引擎能夠跟蹤由常量索引引用的單個數(shù)組元素的值。Klocwork分析引擎的總體改進(jìn)為CWE 2023 Top 25和MISRA C:2023提供了更高的準(zhǔn)確性和新的編碼標(biāo)準(zhǔn)覆蓋率。
使用構(gòu)建標(biāo)記(Build Tag)標(biāo)識構(gòu)建
為系統(tǒng)(常規(guī))構(gòu)建和CI構(gòu)建引入了構(gòu)建標(biāo)記,提供了一種增強(qiáng)構(gòu)建標(biāo)識的方法。
● 構(gòu)建標(biāo)記提供用于識別構(gòu)建的基本信息,包括分支名稱、提交ID、平臺等。
■ 自定義元數(shù)據(jù)可以添加到構(gòu)建,用于腳本化和組織目的。
■ 構(gòu)建可以與特定的提交或分支相關(guān)聯(lián),有助于自動進(jìn)行文件匹配覆蓋。
● 構(gòu)建標(biāo)記可以通過各種方法進(jìn)行管理,例如Perforce Validate、Web API和命令行命令。
使用替代文件手動指定文件匹配項,從而更好地控制復(fù)雜場景并減少由于文件不匹配而導(dǎo)致的閃爍問題。
● 替代文件是一個簡單的文本文件,允許你將文件標(biāo)記為已添加、已刪除或已重命名。
■ 要應(yīng)用覆蓋文件,在“kwadmin load”或“validate admin load”中使用“file- overrides”選項。
C/C++分析引擎增強(qiáng)對C/C++語言特性的支持和缺陷檢測。
● 在C/C++的過程間分析中,增加了對跟蹤單個數(shù)組元素值(由常量索引引用)的支持。
● 增強(qiáng)了C++14和C++17的支持,減少誤報/漏報。
● 為C/C++的CWE 2023 for Top 25 和MISRA C:2023增加了新的問題分類。
Java分析引擎
增強(qiáng)對Java語言特性的支持和缺陷檢測。
● 完全支持Java 14語言規(guī)范。
● 改進(jìn)了對路徑分析檢查器的Java 14支持。
● 改進(jìn)了Android 13的Java分析解析。
編碼標(biāo)準(zhǔn)覆蓋范圍
新的和擴(kuò)展的標(biāo)準(zhǔn)和問題分類:
● CWE 2023 - 2023 CWE Top 25 Most Dangerous Software Weaknesses for C/C++
● MISRA - MISRA C:2023
● DISA STIG v5 - C++
● HKMC v4.1 - C
提高質(zhì)量
一、項目流(Stream)
● 進(jìn)一步提高了在項目中顯示、編輯和刪除流的速度和性能。
二、Microsoft Visual Studio插件
● Visual Studio插件現(xiàn)在默認(rèn)使用kwcheck外部分析引擎。
三、問題匹配算法
提高了在添加的、刪除的或移動的文件中的問題匹配準(zhǔn)確性。要查看系統(tǒng)中這些更改的好處,請遵循以下建議:
● 始終使用替換路徑。
● 啟用精確的文件匹配。
● 使用與替代文件匹配的文件。
● 使用構(gòu)建標(biāo)記。
● 創(chuàng)建邏輯流結(jié)構(gòu)。
四、操作系統(tǒng)
● 增加了對Windows 11、Rocky Linux 9和AlmaLinux 9的支持。
Klocwork2023.3的重要變化
消減Klocwork 2023.3的問題組功能
從2021.1版本開始,Klocwork在默認(rèn)情況下不再使用分組(缺陷)進(jìn)行集成分析,并將在2023.3版本對該功能進(jìn)行削減。
● 建議用戶在執(zhí)行從以前的版本升級遷移之前禁用分組。
● 項目流功能與問題分組不兼容。
● 禁用分組可以顯著改善Klocwork數(shù)據(jù)庫加載時間,適用于大型項目和具有大量缺陷的大型文件。
許可證管理更改
從2023.2版本起,Klocwork工具現(xiàn)在使用Reprise License Manager(RLM)v15.0。
● 重要提示:升級后的RLM v15.0服務(wù)器包含在Klocwork 2023.2版本以后的安裝包中。任何早期的RLM服務(wù)器都需要升級到此版本,才能使用Klocwork 2023.2及更高版本。RLM v15.0的升級解決了在服務(wù)器連接量大的情況下2023.1 Validate服務(wù)器穩(wěn)定性的問題。
● Klocwork 2022的許可證與Klocwork 2023.2不兼容。在升級時請聯(lián)系供應(yīng)商以獲得新的許可證。
了解更多靜態(tài)分析工具的技術(shù)信息及商務(wù)服務(wù),請訪問http://www.softtest.cn/留言.
浙公網(wǎng)安備 33010602011771號