国产精品久久久aaaa,日日干夜夜操天天插,亚洲乱熟女香蕉一区二区三区少妇,99精品国产高清一区二区三区,国产成人精品一区二区色戒,久久久国产精品成人免费,亚洲精品毛片久久久久,99久久婷婷国产综合精品电影,国产一区二区三区任你鲁

0
  • 聊天消息
  • 系統消息
  • 評論與回復
登錄后你可以
  • 下載海量資料
  • 學習在線課程
  • 觀看技術視頻
  • 寫文章/發帖/加入社區
會員中心
創作中心

完善資料讓更多小伙伴認識你,還能領取20積分哦,立即完善>

3天內不再提示

綜合實力超群的靜態代碼測試工具Klocwork 2022.4 中的新增功能

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

掃碼添加小助手

加入工程師交流群

對于 2022 年的最終版本,Klocwork 2022.4提供了針對C、C++C#、Java的更新和改進,并增強了對Android 13的支持。

此外,此版本還包括對 MISRA C:2012和DISA STIG編碼標準規則覆蓋范圍的改進、新的和改進的除以零漏洞檢查器,以及驗證平臺中許多功能的總體使用質量改進。

C# 分析引擎

改進了對 C# 7.3 語言規范的支持。新的語言功能包括:

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

Java 分析引擎

支持 Java 14 語言規范。新功能包括:

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

支持 Gradle Kotlin DSL 格式,提供傳統Groovy DSL的替代語法。

C/C++ 分析引擎

改進了相對路徑的處理,以增強缺陷抑制功能。

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

Android 13 支持增強功能

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

編碼標準

Klocwork 2022.4 的新標準和擴展標準覆蓋范圍和分類法:

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

新的漏洞檢查器

2022.4 改進了Klocwork支持的語言中的幾個檢查器:C和C++。檢查器發現以下缺陷:

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

這兩項還改進了包括對不同步長、轉義條件(if 條件)和浮點數的支持。

提高使用質量

Validate平臺

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

有關新增功能的更多詳細信息,請參閱發行說明。

Klocwork 2022.4 的重要變化

許可證管理更改

自 2022.2 起,Klocwork現在支持Reprise許可證管理器 (RLM)。

  • FLEXlm/FlexNet Publisher 支持已棄用,但將繼續工作,直到Klocwork 2023.1發布。

在 2023.1 之前,您可以繼續使用現有的FLEX許可證文件。

  • 將為Reprise生成新的產品許可證文件,如果您需要舊Klocwork版本的FLEX許可證文件,我們可以為您提供。

預公告

路徑 API 版本升級– Klocwork 2023.1

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

報廢公告 – Klocwork 2023.1

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

  • 蘋果操作系統

此外,對 FLEXlm/FlexNet Publisher 許可證管理器的支持隨著Klocwork 2023.1的發布而結束。

聲明:本文內容及配圖由入駐作者撰寫或者入駐合作網站授權轉載。文章觀點僅代表作者本人,不代表電子發燒友網立場。文章及其配圖僅供工程師學習之用,如有內容侵權或者其他違規問題,請聯系本站處理。 舉報投訴
  • 嵌入式
    +關注

    關注

    5199

    文章

    20454

    瀏覽量

    334265
  • 代碼
    +關注

    關注

    30

    文章

    4968

    瀏覽量

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

掃碼添加小助手

加入工程師交流群

    評論

    相關推薦
    熱點推薦

    開源項目BomberCat安全測試工具總體介紹

    硬件安全測試缺一款多技術融合的利器嗎?今天帶來一款開源安全測試工具, 集 NFC 與磁條兩大主流卡片技術于一體,專為銀行終端、門禁系統等設備的漏洞檢測打造,支持卡片讀寫、模擬、磁條仿冒等核心功能。
    的頭像 發表于 02-27 09:19 ?313次閱讀
    開源項目BomberCat安全<b class='flag-5'>測試工具</b>總體介紹

    C語言單元測試在嵌入式軟件開發的作用及專業工具的應用

    三、winAMS工具的核心功能與優勢 winAMS是一款專業的嵌入式C語言單元測試工具,針對嵌入式開發的特殊需求提供了全面解決方案。其主要功能特點包括: ?編譯器級
    發表于 12-18 11:46

    什么是CVE?如何通過SAST/靜態分析工具Perforce QAC 和 Klocwork應對CVE?

    本文將為您詳解什么是CVE、CVE標識符的作用,厘清CVE與CWE、CVSS的區別,介紹CVE清單內容,并說明如何借助合適的靜態分析工具(如Perforce QAC/Klocwork),在軟件開發早期發現并修復漏洞。
    的頭像 發表于 10-31 14:24 ?534次閱讀
    什么是CVE?如何通過SAST/<b class='flag-5'>靜態</b>分析<b class='flag-5'>工具</b>Perforce QAC 和 <b class='flag-5'>Klocwork</b>應對CVE?

    嵌入式C/C++回歸測試四大最佳實踐(附自動化測試工具TESSY使用教程)

    嵌入式開發,一次微小的代碼改動都可能引發“蝴蝶效應”,如何守護系統的穩?。客扑]專業的自動化測試工具#TESSY,源自戴姆勒-奔馳,是嵌入式C/C++單元/集成測試的標桿。
    的頭像 發表于 10-31 14:21 ?416次閱讀
    嵌入式C/C++回歸<b class='flag-5'>測試</b>四大最佳實踐(附自動化<b class='flag-5'>測試工具</b>TESSY使用教程)

    嵌入式軟件測試與專業測試工具的必要性深度解析

    MSO?:提供電源完整性測試、時序分析、數字信號驗證等硬件調試功能,以及中斷處理分析、代碼執行流程跟蹤等軟件調試能力。 測試工具選型建議選擇嵌入式軟件
    發表于 09-28 17:42

    【直播預告】RT-Trace調試工具V1.1.0版本功能全解析 | 問學直播

    RT-Thread一直致力于為開發者提供更高效的工具和技術支持。RT-Trace調試工具自面世以來持續演進,功能不斷豐富:2025年5月:RT-Trace首次亮相,開創性地實現了基于SWO
    的頭像 發表于 09-05 11:53 ?1217次閱讀
    【直播預告】RT-Trace調<b class='flag-5'>試工具</b>V1.1.0版本<b class='flag-5'>功能</b>全解析 | 問學直播

    汽車軟件團隊必看:基于靜態代碼分析工具Perforce QAC的ISO 26262合規實踐

    ISO 26262合規指南,從ASIL分級到工具落地,手把手教你用靜態代碼分析(Perforce QAC)實現高效合規。
    的頭像 發表于 08-07 17:33 ?1156次閱讀
    汽車軟件團隊必看:基于<b class='flag-5'>靜態</b><b class='flag-5'>代碼</b>分析<b class='flag-5'>工具</b>Perforce QAC的ISO 26262合規實踐

    知識分享 | MXAM入門簡介:使用MXAM進行靜態測試

    ,還能夠根據分析結果自動優化模型。本文為您介紹廣受認可的靜態測試工具——MES Model Examiner? (MXAM)。通過本文,您將深入了解MXAM如何幫助您
    的頭像 發表于 07-23 17:09 ?1620次閱讀
    知識分享 | MXAM入門簡介:使用MXAM進行<b class='flag-5'>靜態</b><b class='flag-5'>測試</b>

    調試工具:Eclipse調試工具欄與窗口的深入分析

    摘要 :在嵌入式系統開發領域,高效的調試工具鏈對于項目的成功實施具有決定性意義。本文聚焦于 Eclipse 調試工具欄與窗口的功能特性,深入剖析其在嵌入式開發調試過程的關鍵作用。以廈
    的頭像 發表于 07-07 11:32 ?891次閱讀
    調<b class='flag-5'>試工具</b>:Eclipse調<b class='flag-5'>試工具</b>欄與窗口的深入分析

    請問AIROC? Bluetooth?測試和調試工具_1.4.2是否支持CYW9RPIWIFIBT-EVK ?

    我想知道AIROC? Bluetooth?測試和調試工具_1.4.2 是否支持 CYW9RPIWIFIBT-EVK 的Bluetooth?測試? 我查看了該軟件的用戶指南,在第1.3節
    發表于 06-25 08:09

    RT-Trace調試工具正式發布!

    嵌入式開發者打造的高性能調試工具。RT-Trace支持SWD/JTAG高速連接,搭載板載顯示屏離線交互系統與WebUI實時監控平臺,助力代碼調試、性能分析、故障排查全流程
    的頭像 發表于 06-18 12:02 ?1502次閱讀
    RT-Trace調<b class='flag-5'>試工具</b>正式發布!

    老文章新視角:從靜態測試到CI/CT生態的進化

    靜態測試工具到CI/CT生態的進化,不僅是技術功能的疊加,更是軟件工程方法論的范式躍遷。未來汽車行業的CI技術將不再是簡單的“工具鏈拼接”,而是以虛擬化
    的頭像 發表于 05-26 10:50 ?1641次閱讀
    老文章新視角:從<b class='flag-5'>靜態</b><b class='flag-5'>測試</b>到CI/CT生態的進化

    如何在Visual Studio 2022運行FX3吞吐量基準測試工具?

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

    MISRA C:2025新標準解析:新增規則、優化點與靜態代碼分析工具支持(Perforce QAC、Klocwork

    MISRA C:2025?發布!新增5條規則,并對部分現有規則進行了擴展、重組,以進一步簡化安全關鍵型系統的開發流程。如何實現最新MISRA合規性?
    的頭像 發表于 05-08 17:58 ?2892次閱讀
    MISRA C:2025新標準解析:<b class='flag-5'>新增</b>規則、優化點與<b class='flag-5'>靜態</b><b class='flag-5'>代碼</b>分析<b class='flag-5'>工具</b>支持(Perforce QAC、<b class='flag-5'>Klocwork</b>)

    代碼靜態測試工具Perforce QAC 2025.1新特性

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