91欧美超碰AV自拍|国产成年人性爱视频免费看|亚洲 日韩 欧美一厂二区入|人人看人人爽人人操aV|丝袜美腿视频一区二区在线看|人人操人人爽人人爱|婷婷五月天超碰|97色色欧美亚州A√|另类A√无码精品一级av|欧美特级日韩特级

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

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

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

代碼靜態(tài)測(cè)試工具Helix QAC 2023.4新發(fā)布

北匯信息POLELINK ? 2024-01-13 12:25 ? 次閱讀
加入交流群
微信小助手二維碼

掃碼添加小助手

加入工程師交流群

Helix QAC 2023.4 為新的 MISRA C++:2023 指南推出了 100% MISRA C++:2023? 規(guī)則覆蓋率。此版本還包括擴(kuò)展的 C++20 語(yǔ)言支持、數(shù)據(jù)流分析的性能改進(jìn)以及整個(gè)產(chǎn)品中的許多產(chǎn)品體驗(yàn)增強(qiáng)功能。

增強(qiáng)對(duì) C++20的 支持
此版本添加了以下語(yǔ)言功能支持:
? 模板參數(shù)列表和函數(shù)聲明的 requires-clause 約束
? 非類型約束的縮寫(xiě)函數(shù)模板聲明

通過(guò)緩存提高數(shù)據(jù)流性能
? 通過(guò)求解器緩存縮短增量分析的數(shù)據(jù)流分析時(shí)間
? 對(duì)選定項(xiàng)目的測(cè)試表明,與第二次分析運(yùn)行相比,分析時(shí)間縮短了 50% 以上
? 數(shù)據(jù)流還能夠通過(guò)緩存在函數(shù)超時(shí)期限內(nèi)完成更多分析

增強(qiáng)的 GNU 和 ISO C 算術(shù)類型支持
? 改進(jìn)了 QAC 對(duì)文本和算術(shù)類型的處理,以顯著改善對(duì)語(yǔ)言中未充分利用的區(qū)域的支持,這些區(qū)域包括復(fù)雜類型、供應(yīng)商擴(kuò)展類型和具有異常運(yùn)算符的復(fù)雜表達(dá)式

編碼標(biāo)準(zhǔn)覆蓋率(MISRA C++:2023?、HKMC、CERT)

MISRA C++:2023
Helix QAC 發(fā)布了 MISRA C++:2023 規(guī)則的 100% 執(zhí)行覆蓋率,并為 2023.3 和 2023.4 提供了新的 MCPP 合規(guī)模塊。

更新的合規(guī)性模塊
? HKMC映射更新
? 添加了嚴(yán)重性、優(yōu)先級(jí)和級(jí)別的 CERT 類別
? 改進(jìn)了 MISRA C:2023 合規(guī)性模塊規(guī)則的日語(yǔ)翻譯
? 改進(jìn)選定標(biāo)準(zhǔn)的執(zhí)行:
? MISRA C:2023 規(guī)則 9.3、10.3、10.5
? AUTOSAR規(guī)則A3-8-1。AV-1-2
? MISRA C++ 規(guī)則 6-2-2

框架
? 改進(jìn)了對(duì)宏擴(kuò)展和模板實(shí)例化歷史記錄的跟蹤,以幫助診斷問(wèn)題
? 增強(qiáng)的基于注釋的抑制引擎,允許每行有多個(gè)偏差原因

提高產(chǎn)品體驗(yàn)
支持具有自動(dòng) CCT 生成功能的其他編譯器
? Synopsys Metaware
? Cadence Tensilica
? TI C6000系列
? Qualcomm Hexagon
? Clang 15
? Embarcadero BCC64

Visual Studio Code IDE 插件
? 改進(jìn)了 VS Code 插件以支持遠(yuǎn)程分析器執(zhí)行

Visual Studio 和 Eclipse IDE 插件
? 總體穩(wěn)定性改進(jìn)

Validate
? 支持從 CLI 和 GUI 創(chuàng)建Validate項(xiàng)目

CLI
? 新的 qacli 視圖 選項(xiàng),用于輸出規(guī)則沖突詳細(xì)信息
? 增強(qiáng)了 %K 類別說(shuō)明符,以便更輕松地映射到規(guī)則
? 不存在 HOME 環(huán)境變量的故障

GUI
? 項(xiàng)目列表中的新上下文菜單項(xiàng),用于打開(kāi)項(xiàng)目位置
? 樹(shù)視圖面板中的文件名搜索
? 新的上下文菜單項(xiàng),用于打開(kāi)所選文件的預(yù)處理源
? 從源碼跳轉(zhuǎn)到預(yù)處理的源文件

Helix QAC 2023.4 中的重要更改
合規(guī)性模塊目錄更改
從 Helix QAC 2023.4 開(kāi)始,該工具不再?gòu)呐f的“PRQA”目錄中讀取合規(guī)性模塊。合規(guī)性模塊將僅從等效的“Perforce”文件目錄中讀取。

以下是現(xiàn)已過(guò)時(shí)的文件目錄:
? %LOCALAPPDATA%\PRQA\installed_components.in
? %PROGRAMDATA%\PRQA\installed_components.ini
? ${HOME}/.config/PRQA/installed_components.ini
? /etc/prqa.d/installed_components.ini

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

    關(guān)注

    5199

    文章

    20451

    瀏覽量

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

    關(guān)注

    30

    文章

    4968

    瀏覽量

    73998
  • 測(cè)試工具
    +關(guān)注

    關(guān)注

    0

    文章

    61

    瀏覽量

    12264
  • 靜態(tài)測(cè)試
    +關(guān)注

    關(guān)注

    0

    文章

    34

    瀏覽量

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

掃碼添加小助手

加入工程師交流群

    評(píng)論

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

    開(kāi)源項(xiàng)目BomberCat安全測(cè)試工具總體介紹

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

    Perforce QAC 2025.4 的新特性

    Code 擴(kuò)展也已更新,為桌面用戶提供了 AI 輔助的代碼修復(fù)功能,利用 QAC 高質(zhì)量的分析結(jié)果為建議的修復(fù)提供信息,從而提供更快速的查找和修復(fù)工作效率。
    的頭像 發(fā)表于 12-30 13:50 ?515次閱讀
    Perforce <b class='flag-5'>QAC</b> 2025.4 的新特性

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

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

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

    嵌入式開(kāi)發(fā)中,一次微小的代碼改動(dòng)都可能引發(fā)“蝴蝶效應(yīng)”,如何守護(hù)系統(tǒng)的穩(wěn)健?推薦專業(yè)的自動(dòng)化測(cè)試工具#TESSY,源自戴姆勒-奔馳,是嵌入式C/C++單元/集成測(cè)試的標(biāo)桿。
    的頭像 發(fā)表于 10-31 14:21 ?416次閱讀
    嵌入式C/C++回歸<b class='flag-5'>測(cè)試</b>四大最佳實(shí)踐(附自動(dòng)化<b class='flag-5'>測(cè)試工具</b>TESSY使用教程)

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

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

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

    。提升測(cè)試效率與覆蓋率專業(yè)工具通過(guò)以下方式優(yōu)化測(cè)試過(guò)程: ?靜態(tài)代碼分析?:通過(guò)MISRA-C等規(guī)則檢查防止緩沖區(qū)溢出等隱患 ?動(dòng)態(tài)符號(hào)
    發(fā)表于 09-28 17:42

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

    ISO 26262合規(guī)指南,從ASIL分級(jí)到工具落地,手把手教你用靜態(tài)代碼分析(Perforce QAC)實(shí)現(xiàn)高效合規(guī)。
    的頭像 發(fā)表于 08-07 17:33 ?1150次閱讀
    汽車軟件團(tuán)隊(duì)必看:基于<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ī)實(shí)踐

    知識(shí)分享 | MXAM入門簡(jiǎn)介:使用MXAM進(jìn)行靜態(tài)測(cè)試

    ,還能夠根據(jù)分析結(jié)果自動(dòng)優(yōu)化模型。本文為您介紹廣受認(rèn)可的靜態(tài)測(cè)試工具——MES Model Examiner? (MXAM)。通過(guò)本文,您將深入了解MXAM如何幫助您
    的頭像 發(fā)表于 07-23 17:09 ?1619次閱讀
    知識(shí)分享 | MXAM入門簡(jiǎn)介:使用MXAM進(jìn)行<b class='flag-5'>靜態(tài)</b><b class='flag-5'>測(cè)試</b>

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

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

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

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

    RT-Trace調(diào)試工具正式發(fā)布!

    5月20日,RT-Thread官方預(yù)售了首款調(diào)試工具RT-Trace,獲得了開(kāi)發(fā)者及企業(yè)用戶的廣泛關(guān)注與支持。RT-Trace調(diào)試工具結(jié)束預(yù)售階段,即日起正式發(fā)布!RT-Trace是一款專為
    的頭像 發(fā)表于 06-18 12:02 ?1501次閱讀
    RT-Trace調(diào)<b class='flag-5'>試工具</b>正式<b class='flag-5'>發(fā)布</b>!

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

    Helix QAC 2025.1新增功能 Helix QAC 2025.1實(shí)現(xiàn)了對(duì)新版MISRA C:2025?標(biāo)準(zhǔn)的 100% 覆蓋,并提供對(duì)應(yīng)的合規(guī)模塊。此版本還擴(kuò)展了對(duì) CERT
    的頭像 發(fā)表于 05-13 16:48 ?1465次閱讀
    <b class='flag-5'>Helix</b> <b class='flag-5'>QAC</b> 2025.1 重磅<b class='flag-5'>發(fā)布</b>!MISRA C:2025? 100%覆蓋

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

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

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

    Perforce QAC 2025.1實(shí)現(xiàn)了對(duì)新發(fā)布的MISRA C:2025?標(biāo)準(zhǔn)的100%覆蓋,并提供了對(duì)應(yīng)的新合規(guī)模塊。該版本還擴(kuò)展了對(duì)CERT C Level 1建議的覆蓋范圍,改進(jìn)了與持續(xù)
    的頭像 發(fā)表于 04-21 15:14 ?1078次閱讀
    <b class='flag-5'>代碼</b><b class='flag-5'>靜態(tài)</b><b class='flag-5'>測(cè)試工具</b>Perforce <b class='flag-5'>QAC</b> 2025.1新特性

    Perforce品牌及產(chǎn)品名更新:涵蓋版本控制Perforce P4(原Helix Core)、靜態(tài)代碼分析Perforce QAC(原Helix QAC)等

    Perforce推出全新P4平臺(tái)及P4 One客戶端!從廣為人知的“P4”到Helix Core到Perforce P4,此次品牌重塑是一次初心回歸,也是對(duì)開(kāi)發(fā)者和數(shù)字創(chuàng)作團(tuán)隊(duì)需求的深度回應(yīng)。一起來(lái)了解更多吧~
    的頭像 發(fā)表于 03-28 15:04 ?1446次閱讀
    Perforce品牌及產(chǎn)品名更新:涵蓋版本控制Perforce P4(原<b class='flag-5'>Helix</b> Core)、<b class='flag-5'>靜態(tài)</b><b class='flag-5'>代碼</b>分析Perforce <b class='flag-5'>QAC</b>(原<b class='flag-5'>Helix</b> <b class='flag-5'>QAC</b>)等