日B视频 亚洲,啪啪啪网站一区二区,91色情精品久久,日日噜狠狠色综合久,超碰人妻少妇97在线,999青青视频,亚洲一区二卡,让本一区二区视频,日韩网站推荐

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

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

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

代碼靜態(tài)測試工具的不二之選 Helix QAC 2022.4 版本新功能解析

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

掃碼添加小助手

加入工程師交流群

Helix QAC 2022.4 中的新增功能

Helix QAC 2022.4為MISRA C:2012 AMD3提供了100%的規(guī)則覆蓋,數(shù)據(jù)流被拆分為一個新的組件,提供了改進的分析性能,并升級了對C++20和C23的語言支持。

此外,此版本還包括改進的編譯器支持以及各種 Helix QAC 組件的總體使用質(zhì)量改進。

數(shù)據(jù)流組件

在 2022.4 中,數(shù)據(jù)流已從QAC/QAC++引擎分離到自己的組件中。此更改提供:

  • 改進了大型項目的數(shù)據(jù)流分析性能。
  • 編譯單元間分析(Inter-TU)在數(shù)據(jù)流中內(nèi)化,不再需要兩次分析傳遞。
  • 頭文件中定義的函數(shù)每個項目分析一次。
  • 數(shù)據(jù)流診斷是針對“數(shù)據(jù)流”組件而不是“qac”或“qacpp”報告的。
  • 數(shù)據(jù)流是分析工具鏈中的一個單獨組件,具有自己的配置選項。

編碼標準覆蓋范圍(MISRA C:2012 AMD3,TS 17961 C安全)

新的 MISRA C:2012修正案3合規(guī)模塊,具有100%的規(guī)則覆蓋率

  • 針對 C 編程語言強制實施汽車行業(yè)軟件可靠性協(xié)會 (MISRA) 軟件開發(fā)指南。這些指南旨在促進嵌入式系統(tǒng)環(huán)境中的代碼功能安全性、信息安全性、可移植性和可靠性。
  • 與新的 C11/C18 功能相關的其他規(guī)則。

C++20 語言支持

此版本改進了與 C++20 語言功能用法的兼容性,包括在C++20模式下處理GCC頭文件。

C23 語言支持

此版本增加了對以下各項的 C23 語言功能支持:

  • 放寬對變量參數(shù)列表的要求。

改進的編譯過程監(jiān)控

此版本改進了使用 “qainject”自動生成的CCT,這簡化了編譯理解和編譯器設置;并且手冊中提供了額外的指導,用于創(chuàng)建自定義過濾器,以基于支持的編譯器(例如基于GNU的編譯器)創(chuàng)建新編譯器。

提高使用質(zhì)量

CLI

  • 添加了查看自基線以來的診斷功能(qacli 視圖)。
  • 按抑制類型(qacliview --suppression-filter )進行過濾診斷。
  • 以多種格式輸出 CMA 診斷:NONE, MULTIPLE, SINGLE(qacli view --multi-homed-format)。
  • 使用戶能夠升級現(xiàn)有項目以與單獨的數(shù)據(jù)流組件兼容(qacli admin --upgrade)。

GUI

  • 數(shù)據(jù)流組件支持。

Dashboard

  • 數(shù)據(jù)流組件支持。

Microsoft Visual Studio 2022 IDE 插件

  • 支持使用 VS 2022 擴展安裝多個Helix QAC。

Helix QAC 2022.4的重要變化

預公告

CCT Generator 將于2023年不再維護

Helix QAC 2023.1 將不再支持傳統(tǒng)的獨立CCT Generator。

Helix QAC 2021.3 中引入的“qainject”工具將取代當前的CCT Generator。因此,使用舊版工具生成的CCT將被棄用且不再受支持。

從 QAC 軟件包中刪除不受支持的靜態(tài)CCT

隨著使用“qainject”自動生成CCT的各種編譯器的改進構建監(jiān)控,到2023.1將刪除以前包含在Helix QAC包中的大多數(shù)靜態(tài)CCT。與使用靜態(tài)默認CCT相比,自動生成的CCT有望提供更準確的分析結(jié)果。其目的是刪除除GNU gcc、Visual Studio和通用編譯器之外的所有CCT。

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

    關注

    9

    文章

    6429

    瀏覽量

    131700
  • 嵌入式
    +關注

    關注

    5210

    文章

    20680

    瀏覽量

    337416
  • 代碼
    +關注

    關注

    30

    文章

    4977

    瀏覽量

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

掃碼添加小助手

加入工程師交流群

    評論

    相關推薦
    熱點推薦

    ADAQ23878:高精度數(shù)據(jù)采集解決方案的不二

    ADAQ23878:高精度數(shù)據(jù)采集解決方案的不二 在電子工程師的日常工作中,數(shù)據(jù)采集系統(tǒng)的設計一直是一個關鍵環(huán)節(jié)。而ADI公司推出的ADAQ23878,無疑為高精度數(shù)據(jù)采集提供了一個強大而可靠
    的頭像 發(fā)表于 03-27 14:20 ?209次閱讀

    MES模型靜態(tài)測試工具更新信息 01/2026

    MES模賽思很高興為您帶來最新的MES工具更新信息。MXAM、MoRe和MQC的最新版本已經(jīng)為您下載安裝做好了準備。
    的頭像 發(fā)表于 03-04 19:33 ?731次閱讀
    MES模型<b class='flag-5'>靜態(tài)</b><b class='flag-5'>測試工具</b>更新信息 01/2026

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

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

    軟件測試工具深度解析?

    、可認證的嵌入式軟件。以下是其各功能模塊的全面解析。 ?一、單元測試自動化引擎? 此模塊通過高度自動化技術,將工程師從繁瑣的測試用例編寫與數(shù)據(jù)管理中解放出來,專注于
    的頭像 發(fā)表于 01-26 14:23 ?342次閱讀

    工具升級】 I OrCAD X 全版本新功能匯總,高效搞定電路協(xié)同設計

    在電子電路設計領域,一款功能強大、適配協(xié)同工作的工具,能大幅提升設計效率與精準度。OrCADX系列版本更新,圍繞協(xié)作、易用性、仿真分析三大核心,為個人及小型設計團隊帶來全方位的功能升級
    的頭像 發(fā)表于 01-16 21:43 ?1685次閱讀
    【<b class='flag-5'>工具</b>升級】 I OrCAD X 全<b class='flag-5'>版本</b><b class='flag-5'>新功能</b>匯總,高效搞定電路協(xié)同設計

    Faraday Future公布超級智臉系統(tǒng)的最新功能細節(jié)

    “FF”或“公司”)今日公布了Super EAI F.A.C.E.(超級智臉)系統(tǒng)的最新功能細節(jié)。該系統(tǒng)將作為裝配置,應用于公司 FX Super One BEV純電版本。
    的頭像 發(fā)表于 01-15 16:55 ?1066次閱讀

    嵌入式開發(fā)工具版本的選擇策略

    兼容性測試標準過渡期支持策略 、可靈活選擇軟件版本,但建議統(tǒng)一 有些工具,它對項目的“依耐性”不強,基本上不同版本之間都能用,團隊之間可以
    發(fā)表于 11-25 06:11

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

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

    C/C++代碼靜態(tài)測試工具Perforce QAC 2025.3的新特性

    Perforce QAC 2025.3?通過更新結(jié)果存儲處理提供了性能改進,可以顯著減少總分析時間,具體取決于項目結(jié)構和分析所使用的硬件設備。此版本還增強了對 QNX 8.0?編譯器的支持,以及對
    的頭像 發(fā)表于 10-13 18:11 ?762次閱讀
    C/C++<b class='flag-5'>代碼</b><b class='flag-5'>靜態(tài)</b><b class='flag-5'>測試工具</b>Perforce <b class='flag-5'>QAC</b> 2025.3的新特性

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

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

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

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

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

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

    Perforce QAC產(chǎn)品簡介:面向C/C++的靜態(tài)代碼分析工具(已通過SO 26262認證)

    Perforce QAC專為C/C++開發(fā)者打造,支持多種編碼規(guī)范、功能安全標準(ISO 26262)等,廣泛用于汽車、醫(yī)療、嵌入式開發(fā)領域,可幫助快速識別關鍵缺陷、提升代碼質(zhì)量、實現(xiàn)合規(guī)交付。
    的頭像 發(fā)表于 07-10 15:57 ?1493次閱讀
    Perforce <b class='flag-5'>QAC</b>產(chǎn)品簡介:面向C/C++的<b class='flag-5'>靜態(tài)</b><b class='flag-5'>代碼</b>分析<b class='flag-5'>工具</b>(已通過SO 26262認證)

    【文章轉(zhuǎn)載】CANoe產(chǎn)品體系19版本新功能(下) - 基礎功能與XIL測試

    版本持續(xù)為智能電動網(wǎng)聯(lián)汽車軟件開發(fā)測試帶來全新功能,IDE開發(fā)環(huán)境支持.NET8.0、Python、MATLAB2024b,VisualStudioCode集成測試開發(fā)和調(diào)試
    的頭像 發(fā)表于 06-25 10:03 ?2076次閱讀
    【文章轉(zhuǎn)載】CANoe產(chǎn)品體系19<b class='flag-5'>版本</b><b class='flag-5'>新功能</b>(下) - 基礎<b class='flag-5'>功能</b>與XIL<b class='flag-5'>測試</b>

    Helix QAC 2025.1 重磅發(fā)布!MISRA C:2025? 100%覆蓋

    Helix QAC 2025.1新增功能 Helix QAC 2025.1實現(xiàn)了對新版MISRA C:2025?標準的 100% 覆蓋,并提
    的頭像 發(fā)表于 05-13 16:48 ?1624次閱讀
    <b class='flag-5'>Helix</b> <b class='flag-5'>QAC</b> 2025.1 重磅發(fā)布!MISRA C:2025? 100%覆蓋
    凤阳县| 砀山县| 莎车县| 昭通市| 广东省| 涟源市| 汉川市| 湖北省| 海安县| 搜索| 天峻县| 菏泽市| 玉田县| 玉树县| 溧阳市| 紫阳县| 虹口区| 南通市| 灌南县| 牙克石市| 武鸣县| 洞口县| 平塘县| 屏山县| 且末县| 巴中市| 合作市| 汉中市| 房山区| 金沙县| 凭祥市| 武定县| 安陆市| 霍林郭勒市| 绥江县| 扶余县| 临夏市| 南昌市| 乡宁县| 民权县| 西乌|