一区二区三区三上|欧美在线视频五区|国产午夜无码在线观看视频|亚洲国产裸体网站|无码成年人影视|亚洲AV亚洲AV|成人开心激情五月|欧美性爱内射视频|超碰人人干人人上|一区二区无码三区亚洲人区久久精品

0
  • 聊天消息
  • 系統(tǒng)消息
  • 評(píng)論與回復(fù)
登錄后你可以
  • 下載海量資料
  • 學(xué)習(xí)在線課程
  • 觀看技術(shù)視頻
  • 寫文章/發(fā)帖/加入社區(qū)
會(huì)員中心
創(chuàng)作中心

完善資料讓更多小伙伴認(rèn)識(shí)你,還能領(lǐng)取20積分哦,立即完善>

3天內(nèi)不再提示

綜合實(shí)力超群的靜態(tài)代碼測試工具Klocwork 2022.4 中的新增功能

北匯信息POLELINK ? 2023-02-13 14:33 ? 次閱讀
加入交流群
微信小助手二維碼

掃碼添加小助手

加入工程師交流群

對(duì)于 2022 年的最終版本,Klocwork 2022.4提供了針對(duì)C、C++、C#、Java的更新和改進(jìn),并增強(qiáng)了對(duì)Android 13的支持。

此外,此版本還包括對(duì) MISRA C:2012和DISA STIG編碼標(biāo)準(zhǔn)規(guī)則覆蓋范圍的改進(jìn)、新的和改進(jìn)的除以零漏洞檢查器,以及驗(yàn)證平臺(tái)中許多功能的總體使用質(zhì)量改進(jìn)。

C# 分析引擎

改進(jìn)了對(duì) C# 7.3 語言規(guī)范的支持。新的語言功能包括:

  • 非托管類型約束
  • 自動(dòng)實(shí)現(xiàn)屬性的屬性(Auto-implemented property attributes)
  • 可重新分配的ref局部變量
  • 對(duì)堆棧分配數(shù)組的初始值設(shè)定項(xiàng)支持
  • 初始化器中的表達(dá)式變量
  • 元組相等

Java 分析引擎

支持 Java 14 語言規(guī)范。新功能包括:

  • 改進(jìn)了編譯過程監(jiān)控,減少了 Java 14 的解析錯(cuò)誤和警告。
  • 升級(jí)了 Java 知識(shí)庫,以提供更高的準(zhǔn)確性并支持Java 14 API。
  • 語言功能支持:
  • Switch表達(dá)式
  • Yield聲明
  • 箭頭表示法和Multi-Case

支持 Gradle Kotlin DSL 格式,提供傳統(tǒng)Groovy DSL的替代語法。

C/C++ 分析引擎

改進(jìn)了相對(duì)路徑的處理,以增強(qiáng)缺陷抑制功能。

  • 使用缺陷抑制功能專注于重要問題。過濾掉代碼中的干擾缺陷或問題,例如庫、頭文件和第三方代碼。

Android 13 支持增強(qiáng)功能

Klocwork C、C++和Java分析器完全支持Android 13。

編碼標(biāo)準(zhǔn)

Klocwork 2022.4 的新標(biāo)準(zhǔn)和擴(kuò)展標(biāo)準(zhǔn)覆蓋范圍和分類法:

  • DISA STIG v5 – Java
  • MISRA C:2012 AMD2具有98%的規(guī)則覆蓋率

新的漏洞檢查器

2022.4 改進(jìn)了Klocwork支持的語言中的幾個(gè)檢查器:C和C++。檢查器發(fā)現(xiàn)以下缺陷:

  • 除以零
  • DBZ.ITERATOR(程序內(nèi)缺陷檢測)
  • DBZ.ITERATOR.CALL(過程間缺陷檢測)

這兩項(xiàng)還改進(jìn)了包括對(duì)不同步長、轉(zhuǎn)義條件(if 條件)和浮點(diǎn)數(shù)的支持。

提高使用質(zhì)量

Validate平臺(tái)

  • 可自定義的文檔鏈接提供了在首頁上編輯/添加新文檔鏈接的功能。
  • Auto-Delete Builds權(quán)限
  • 在“構(gòu)建”頁面上管理自動(dòng)刪除舊構(gòu)建標(biāo)志,并設(shè)置自動(dòng)刪除閾值
  • 管理“Edit build”頁面上的“Do no auto delete this build”標(biāo)志和“update_build”WebAPI命令的“keept”標(biāo)志
  • 管理View權(quán)限
  • 添加了在創(chuàng)建新視圖和編輯與權(quán)限運(yùn)營商共享的私有視圖時(shí)管理“public”標(biāo)志的功能
  • Streams權(quán)限
  • 可以向用戶分配權(quán)限,以限制對(duì)流項(xiàng)目的父項(xiàng)或子項(xiàng)的訪問
  • 改進(jìn)了唯一問題計(jì)數(shù),以考慮保存的項(xiàng)目view
  • WebAPI 現(xiàn)在可以創(chuàng)建Validate項(xiàng)目和Streams

有關(guān)新增功能的更多詳細(xì)信息,請(qǐng)參閱發(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 版本升級(jí)– Klocwork 2023.1

在 Klocwork 2023.1 發(fā)布后,需要檢查自定義C/C++ PATH檢查器的多線程兼容性。我們建議您查看自定義檢查器以了解潛在的競爭風(fēng)險(xiǎn),并使用2023.1 Klocwork路徑API頭文件和庫重新編譯。未重新編譯的自定義檢查器將繼續(xù)工作,但無法使用即將推出的并行化功能。請(qǐng)參閱我們的發(fā)行說明以了解更多信息。

報(bào)廢公告 – Klocwork 2023.1

從 Klocwork 2023.1 開始,將不支持以下操作系統(tǒng)和安裝程序:

  • 蘋果操作系統(tǒng)

此外,對(duì) FLEXlm/FlexNet Publisher 許可證管理器的支持隨著Klocwork 2023.1的發(fā)布而結(jié)束。

聲明:本文內(nèi)容及配圖由入駐作者撰寫或者入駐合作網(wǎng)站授權(quán)轉(zhuǎn)載。文章觀點(diǎn)僅代表作者本人,不代表電子發(fā)燒友網(wǎng)立場。文章及其配圖僅供工程師學(xué)習(xí)之用,如有內(nèi)容侵權(quán)或者其他違規(guī)問題,請(qǐng)聯(lián)系本站處理。 舉報(bào)投訴
  • 嵌入式
    +關(guān)注

    關(guān)注

    5152

    文章

    19675

    瀏覽量

    317643
  • 代碼
    +關(guān)注

    關(guān)注

    30

    文章

    4900

    瀏覽量

    70757
收藏 人收藏
加入交流群
微信小助手二維碼

掃碼添加小助手

加入工程師交流群

    評(píng)論

    相關(guān)推薦
    熱點(diǎn)推薦

    調(diào)試工具:Eclipse調(diào)試工具欄與窗口的深入分析

    摘要 :在嵌入式系統(tǒng)開發(fā)領(lǐng)域,高效的調(diào)試工具鏈對(duì)于項(xiàng)目的成功實(shí)施具有決定性意義。本文聚焦于 Eclipse 調(diào)試工具欄與窗口的功能特性,深入剖析其在嵌入式開發(fā)調(diào)試過程的關(guān)鍵作用。以廈
    的頭像 發(fā)表于 07-07 11:32 ?152次閱讀
    調(diào)<b class='flag-5'>試工具</b>:Eclipse調(diào)<b class='flag-5'>試工具</b>欄與窗口的深入分析

    如何在Visual Studio 2022運(yùn)行FX3吞吐量基準(zhǔn)測試工具?

    我正在嘗試運(yùn)行 John Hyde 的書“SuperSpeed by Design”的 FX3 吞吐量基準(zhǔn)測試工具。 但是,我面臨一些困難,希望得到任何指導(dǎo)。 具體來說,我正在使用 Visual
    發(fā)表于 05-13 08:05

    MISRA C:2025新標(biāo)準(zhǔn)解析:新增規(guī)則、優(yōu)化點(diǎn)與靜態(tài)代碼分析工具支持(Perforce QAC、Klocwork

    MISRA C:2025?發(fā)布!新增5條規(guī)則,并對(duì)部分現(xiàn)有規(guī)則進(jìn)行了擴(kuò)展、重組,以進(jìn)一步簡化安全關(guān)鍵型系統(tǒng)的開發(fā)流程。如何實(shí)現(xiàn)最新MISRA合規(guī)性?
    的頭像 發(fā)表于 05-08 17:58 ?889次閱讀
    MISRA C:2025新標(biāo)準(zhǔn)解析:<b class='flag-5'>新增</b>規(guī)則、優(yōu)化點(diǎn)與<b class='flag-5'>靜態(tài)</b><b class='flag-5'>代碼</b>分析<b class='flag-5'>工具</b>支持(Perforce QAC、<b class='flag-5'>Klocwork</b>)

    代碼靜態(tài)測試工具Perforce QAC 2025.1新特性

    集成/持續(xù)交付(CI/CD)環(huán)境使用的Perforce Validate平臺(tái)集成的許可機(jī)制。此外,Validate新增了SAML/OIDC群組同步支持,并通過性能
    的頭像 發(fā)表于 04-21 15:14 ?356次閱讀
    <b class='flag-5'>代碼</b><b class='flag-5'>靜態(tài)</b><b class='flag-5'>測試工具</b>Perforce QAC 2025.1新特性

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

    本期來認(rèn)識(shí)軟件漏洞的“??汀薄彌_區(qū)溢出,C/C++開發(fā)者尤其要注意!全面了解該漏洞的成因、類型、常見示例,以及如何借助Klocwork、Helix QAC等SAST工具進(jìn)行防護(hù)。
    的頭像 發(fā)表于 03-04 16:39 ?887次閱讀
    緩沖區(qū)溢出漏洞的原理、成因、類型及最佳防范實(shí)踐(借助Perforce 的<b class='flag-5'>Klocwork</b>/Hleix QAC等<b class='flag-5'>靜態(tài)</b><b class='flag-5'>代碼</b>分析<b class='flag-5'>工具</b>)

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

    本篇技術(shù)博文將介紹SiliconLabs(芯科科技)提供的Z-Wave設(shè)備測試工具,通過使用一個(gè)舊的Z-Wave DUT項(xiàng)目來測試Z-Wave設(shè)備,以確保設(shè)備可以正常工作。
    的頭像 發(fā)表于 01-17 09:39 ?615次閱讀
    芯科科技Z-Wave設(shè)備<b class='flag-5'>測試工具</b>介紹

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

    : 02. 終端在代碼里面填上對(duì)應(yīng)的IP:112.125.89.8,TCP端口填上46095,然后打開Socket; 03. TCP連接建立后,TCP/UDP web測試工具會(huì)在界面上顯示連上來的
    的頭像 發(fā)表于 01-08 18:17 ?1284次閱讀
    Web端TCP/UDP<b class='flag-5'>測試工具</b>!小白必學(xué)~

    嵌入軟件單元/集成測試工具專業(yè)分析

    引言 在現(xiàn)代軟件開發(fā)過程,單元測試作為確保代碼質(zhì)量的重要環(huán)節(jié),得到了廣泛的關(guān)注和應(yīng)用。隨著嵌入式系統(tǒng)的復(fù)雜性日益增加,對(duì)高效、可靠的單元測試工具的需求也愈加迫切。WinAMS作為一款
    的頭像 發(fā)表于 11-19 16:41 ?670次閱讀

    CAN總線測試工具選擇與使用

    在現(xiàn)代汽車和工業(yè)控制系統(tǒng),CAN總線因其高可靠性和靈活性而成為首選的通信協(xié)議。為了確保CAN網(wǎng)絡(luò)的性能和可靠性,工程師需要使用專業(yè)的測試工具來監(jiān)控、分析和診斷網(wǎng)絡(luò)問題。 CAN總線測試工具的類型
    的頭像 發(fā)表于 11-12 10:16 ?2516次閱讀

    Perforce靜態(tài)分析工具2024.2新增功能:Helix QAC全新CI/CD集成支持、Klocwork分析引擎改進(jìn)和安全增強(qiáng)

    ?和Klocwork的最新版本對(duì)靜態(tài)分析工具進(jìn)行了重大改進(jìn),通過盡早修復(fù)錯(cuò)誤、降低開發(fā)成本和加快發(fā)布速度,使開發(fā)團(tuán)隊(duì)實(shí)現(xiàn)左移。本文中,我們將概述2024.2版本的新特性和新功能。CI/
    的頭像 發(fā)表于 10-08 16:22 ?666次閱讀
    Perforce<b class='flag-5'>靜態(tài)</b>分析<b class='flag-5'>工具</b>2024.2<b class='flag-5'>新增</b><b class='flag-5'>功能</b>:Helix QAC全新CI/CD集成支持、<b class='flag-5'>Klocwork</b>分析引擎改進(jìn)和安全增強(qiáng)

    利用靜態(tài)檢查工具完善功能安全測試覆蓋率

    功能安全測試覆蓋率是比較重要的概念,也是在驗(yàn)證過程通常需要花費(fèi)時(shí)間較多的步驟,如果能借助于靜態(tài)檢查
    的頭像 發(fā)表于 09-05 09:15 ?839次閱讀
    利用<b class='flag-5'>靜態(tài)</b>檢查<b class='flag-5'>工具</b>完善<b class='flag-5'>功能</b>安全<b class='flag-5'>中</b><b class='flag-5'>測試</b>覆蓋率

    恒訊科技分析:如何測試海外靜態(tài)IP服務(wù)的穩(wěn)定性和速度?

    測試海外靜態(tài)IP服務(wù)的穩(wěn)定性和速度可以通過以下步驟進(jìn)行: 1、選擇測試工具:使用網(wǎng)絡(luò)測試工具,如ping命令、traceroute(或 racert)、網(wǎng)絡(luò)速度
    的頭像 發(fā)表于 08-14 14:58 ?688次閱讀

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

    Klocwork 2024.2 為現(xiàn)代?C/C++?分析引擎引入了顯著的準(zhǔn)確性和性能改進(jìn)。此版本還包括增強(qiáng)的安全性和身份驗(yàn)證功能以及改進(jìn)的用戶體驗(yàn),以及?MISRA??和?CERT?規(guī)則集改進(jìn)、Java?語言增強(qiáng)功能以及?Kot
    的頭像 發(fā)表于 08-06 12:16 ?594次閱讀
    <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ā)布

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

    Helix QAC 2024.2 帶來了新的特性和功能,為開發(fā)過程增加了靈活的選項(xiàng)。用戶使用新的 CI 分析通過 Validate 獲得完整的 CI 集成支持,從而輕松管理 CI/CD 更改分析結(jié)果并加快測試反饋速度,并使用新的服務(wù)器分析許可證獲得更大的部署靈活性。
    的頭像 發(fā)表于 08-05 17:40 ?736次閱讀
    <b class='flag-5'>代碼</b><b class='flag-5'>靜態(tài)</b><b class='flag-5'>測試工具</b>Helix QAC 2024.2新發(fā)

    DevOps的質(zhì)量門工作原理,以及靜態(tài)代碼分析Klocwork和Perforce Helix QAC在質(zhì)量門的實(shí)踐應(yīng)用

    如何使用靜態(tài)代碼分析工具(如Klocwork 和 Helix QAC)實(shí)現(xiàn)質(zhì)量門。 什么是質(zhì)量門? 質(zhì)量門是在IT或開發(fā)項(xiàng)目中實(shí)施的檢查點(diǎn),這些檢查點(diǎn)要求在進(jìn)入下一個(gè)開發(fā)階段之前達(dá)到最
    的頭像 發(fā)表于 07-29 15:12 ?882次閱讀