女人自慰AV免费观看内涵网,日韩国产剧情在线观看网址,神马电影网特片网,最新一级电影欧美,在线观看亚洲欧美日韩,黄色视频在线播放免费观看,ABO涨奶期羡澄,第一导航fulione,美女主播操b

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

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

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

靜態(tài)代碼測試多語言特長生: Klocwork 2023.2更新快訊

北匯信息POLELINK ? 2023-08-01 15:19 ? 次閱讀
加入交流群
微信小助手二維碼

掃碼添加小助手

加入工程師交流群

隨著 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%。還引入了針對 C 語言檢查器的附加路徑分析。

Validate平臺現(xiàn)在具有增強的問題瀏覽和篩選功能。

其他增強功能包括改進(jìn)Microsoft Visual Studio 插件和 Project Streams in Validate 的穩(wěn)定性和性能。

審查Validate中的問題
現(xiàn)在,您可以通過查看、修改和導(dǎo)航問題搜索列表,更輕松地在Validate中查看問題,而無需離開“Issue Details”頁面。

? 通過新的“File Navigation”窗格搜索單個文件并探索問題,該窗格啟用在使用相同瀏覽器時在會話之間持久存在的配置。

其他Validate平臺改進(jìn)
? 使用 "度量元 "報告設(shè)計器在Validate中編輯閾值和總度量值報告定義。
? 利用新的命令行應(yīng)用程序包,為Validate命令提供通用命名。

C/C++ 分析引擎
改進(jìn)了 C/C++ 的語言功能覆蓋率和缺陷檢測:
? 增強了對 C++14 和 C++17 分析的支持。
? 添加了幾個 MISRA 規(guī)則并增加了 MISRA C:2012(最高 AMD 2)的覆蓋范圍。
? 增加了對 DISA STIG 高嚴(yán)重性規(guī)則、CERT、OWASP 和 CWE 的覆蓋范圍,包括為 2022 年 CWE Top 25 最危險的軟件弱點添加分類法。

C# 分析引擎
改進(jìn)了對 C# 8.0 語言規(guī)范的支持。新的語言功能支持包括:
? 接口中的靜態(tài)構(gòu)造函數(shù)。
? 接口中的嵌套類型和運算符聲明。
? 內(nèi)插verbatim字符串。
? 范圍和索引支持 …和 ^ 運算符。
? 使用新引擎對 C# 檢查程序進(jìn)行額外的路徑分析。

Java 分析引擎
擴展了 Java 14 語言規(guī)范的覆蓋范圍。新功能包括:
? 改進(jìn)路徑分析檢查程序?qū)?Java 14 的支持。
? 100% 覆蓋 Jakarta EE。

JavaScript 分析引擎
? JavaScript 分析支持 .eslintignore 文件
? 用于指定項目目錄的 kwjsspec 工具的新選項
? --project-dir

編碼標(biāo)準(zhǔn)
Klocwork 2023.2 的新標(biāo)準(zhǔn)和擴展標(biāo)準(zhǔn)覆蓋范圍和分類標(biāo)準(zhǔn):
? CERT
? CWE – 2022 CWE Top 25 最危險的軟件弱點
? DISA STIG v 5 - C/C++ 高嚴(yán)重性規(guī)則高達(dá) 83%
? MISRA – 改進(jìn)了 MISRA C:2012 AMD 2 覆蓋范圍(需要支持人員提供額外實用程序,以實現(xiàn)最大覆蓋范圍)
? OWASP

產(chǎn)品體驗改進(jìn)
Microsoft Visual Studio插件
使用 Visual Studio 擴展更快地開始分析。
? 在使用 kwcheck 命令作為外部分析引擎時,我們改進(jìn)了 Visual Studio 擴展的構(gòu)建規(guī)范生成性能。

項目流
改進(jìn)了大量項目流的Validate平臺的性能。
? 顯示和使用項目流清單所需的時間大大減少。

第三方依賴項
? 軟件包中包含Apache Tomcat和Open JDK的升級版本。
有關(guān)新增功能的更多詳細(xì)信息,請參閱發(fā)行說明。

Klockwork 2023.2 的重要變化
許可證管理更改
自 2023.2 起,Klocwork 工具現(xiàn)在使用 Reprise 許可證管理器 (RLM) v15.0。
? 重要提示:升級后的 RLM v15.0 服務(wù)器包含在 Klocwork 2023.2 安裝中。任何早期的 RLM 服務(wù)器都需要升級到此版本才能與 Klocwork 2023.2 及更高版本配合使用。升級到 RLM v15.0 解決了在與服務(wù)器連接量較大的情況下Validate 2023.1 的服務(wù)器穩(wěn)定性可能出現(xiàn)的問題。
? 2022 許可證與 Klocwork 2023.2 不兼容。升級時,請聯(lián)系 [email protected] 以獲取新許可證。

2022.4 SR/補丁可用
已創(chuàng)建 2021.4 至 2022.4 的補丁,以解決自動刪除版本中丟失的引用問題。Klocwork 2023.1 及更高版本不受影響。

? 使用 2022.4 的所有客戶都應(yīng)升級到該軟件的最新版本。


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

    關(guān)注

    8

    文章

    5701

    瀏覽量

    128824
  • 嵌入式
    +關(guān)注

    關(guān)注

    5150

    文章

    19665

    瀏覽量

    317415
  • 嵌入式軟件測試
    +關(guān)注

    關(guān)注

    2

    文章

    27

    瀏覽量

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

掃碼添加小助手

加入工程師交流群

    評論

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

    芯資訊|廣州唯創(chuàng)電子語音芯片遠(yuǎn)程更新方案全解析

    場景?推薦芯片?技術(shù)優(yōu)勢?單段MP3更新?醫(yī)療設(shè)備提示音變更多語言動態(tài)切換??WT2003H4WT2605C?秒級替換單條語音,無需停機?整包bin更新?固件功能升級語音庫大
    的頭像 發(fā)表于 05-29 09:11 ?127次閱讀
    芯資訊|廣州唯創(chuàng)電子語音芯片遠(yuǎn)程<b class='flag-5'>更新</b>方案全解析

    語言康復(fù)行業(yè)首家!陽光語言正式接入DeepSeek

    “新”與“老”的結(jié)合,將融合和迸發(fā)更多可能性,為更多語言障礙者提供更加科學(xué)、智能、精準(zhǔn)的服務(wù)。 智能問答 一觸即達(dá) 在陪伴孩子成長的過程中,家長會面臨方方面面的問題,發(fā)音不準(zhǔn)、口吃、語言發(fā)育遲緩等等。面對這些語言發(fā)育問題,家長該
    的頭像 發(fā)表于 03-06 14:14 ?335次閱讀
    <b class='flag-5'>語言</b>康復(fù)行業(yè)首家!陽光<b class='flag-5'>語言</b>正式接入DeepSeek

    安裝OpenVINO? 2023.2使用pip install openvino-dev命令的開發(fā)工具后報錯怎么解決?

    安裝OpenVINO? 2023.2 使用 pip install openvino-dev 命令的開發(fā)工具。 遇到錯誤: ModuleNotFoundError: 沒有名為 \'distutils\' 的模塊
    發(fā)表于 03-05 08:39

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

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

    Meta與UNESCO合作推動多語言AI發(fā)展

    Meta最近宣布了一項與聯(lián)合國教科文組織(UNESCO)合作的全新計劃——語言技術(shù)伙伴計劃。該計劃旨在收集多種語言的語音錄音和文字記錄,以推動未來開放可用的人工智能(AI)技術(shù)的發(fā)展,特別關(guān)注那些
    的頭像 發(fā)表于 02-08 11:04 ?616次閱讀

    微軟Copilot Voice升級,積極拓展多語言支持

    近日,據(jù)報道,微軟近期在人工智能領(lǐng)域取得了新的進(jìn)展,正積極拓展其Copilot Voice的多語言支持功能。這一舉措標(biāo)志著微軟在語音識別和自然語言處理技術(shù)上又邁出了重要一步。 此次Copilot
    的頭像 發(fā)表于 02-06 14:10 ?431次閱讀

    語音IC方案,在交通信號燈語音提示器的應(yīng)用解析,NV040D

    NV040D語音芯片憑卓越音質(zhì)、靈活編程接口成交通管理首選,支持多語言合成、遠(yuǎn)程更新、智能音量調(diào)節(jié),提升交通安全和效率,展現(xiàn)廣泛應(yīng)用前景,助力智能城市發(fā)展。
    的頭像 發(fā)表于 11-01 13:07 ?460次閱讀
    語音IC方案,在交通信號燈語音提示器的應(yīng)用解析,NV040D

    ChatGPT 的多語言支持特點

    )技術(shù)迎來了巨大的挑戰(zhàn)和機遇。ChatGPT,作為一個領(lǐng)先的語言模型,其多語言支持的特點成為了它在眾多應(yīng)用場景中不可或缺的優(yōu)勢。 1. 多語言理解能力 ChatGPT 的多語言支持首先
    的頭像 發(fā)表于 10-25 17:30 ?1511次閱讀

    科大訊飛發(fā)布訊飛星火4.0 Turbo大模型及星火多語言大模型

    ,科大訊飛以其一貫的創(chuàng)新精神,開創(chuàng)性地發(fā)布了星火多語言大模型。這一創(chuàng)新之舉不僅進(jìn)一步鞏固了科大訊飛在中文和英文處理領(lǐng)域的領(lǐng)先地位,更將語言的支持范圍大幅擴展,涵蓋了俄語、日語、阿拉伯語、韓語、法語、西班牙語、葡萄牙語以及
    的頭像 發(fā)表于 10-24 13:58 ?904次閱讀

    谷歌全新推出開放式視覺語言模型PaliGemma

    這種熱烈的反響非常鼓舞人心,開發(fā)者們打造了一系列多樣的項目,例如用于印度語言多語言變體 Navarasa,以及設(shè)備端側(cè)動作模型 Octopus v2。開發(fā)者們展示了 Gemma 在打造極具影響力且易于使用的 AI 解決方案方面的巨大潛力。
    的頭像 發(fā)表于 10-15 17:37 ?740次閱讀

    使用OpenVINO 2024.4在算力魔方上部署Llama-3.2-1B-Instruct模型

    前面我們分享了《三步完成Llama3在算力魔方的本地量化和部署》。2024年9月25日,Meta又發(fā)布了Llama3.2:一個多語言大型語言模型(LLMs)的集合。
    的頭像 發(fā)表于 10-12 09:39 ?1451次閱讀
    使用OpenVINO 2024.4在算力魔方上部署Llama-3.2-1B-Instruct模型

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

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

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

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

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

    如何使用靜態(tài)代碼分析工具(如Klocwork 和 Helix QAC)實現(xiàn)質(zhì)量門。 什么是質(zhì)量門? 質(zhì)量門是在IT或開發(fā)項目中實施的檢查點,這些檢查點要求在進(jìn)入下一個開發(fā)階段之前達(dá)到最低標(biāo)準(zhǔn)。質(zhì)量門可以阻止不合格
    的頭像 發(fā)表于 07-29 15:12 ?877次閱讀

    Mistral AI與NVIDIA推出全新語言模型Mistral NeMo 12B

    Mistral AI 和 NVIDIA 于近日共同發(fā)布了一款全新的領(lǐng)先語言模型Mistral NeMo 12B。開發(fā)者可以輕松定制和部署該模型,令其適用于支持聊天機器人、多語言任務(wù)、編碼和摘要的企業(yè)應(yīng)用。
    的頭像 發(fā)表于 07-27 11:04 ?1156次閱讀