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

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

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

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

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

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

掃碼添加小助手

加入工程師交流群

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

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

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

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

編碼標(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)先級和級別的 CERT 類別
? 改進了 MISRA C:2023 合規(guī)性模塊規(guī)則的日語翻譯
? 改進選定標(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

框架
? 改進了對宏擴展和模板實例化歷史記錄的跟蹤,以幫助診斷問題
? 增強的基于注釋的抑制引擎,允許每行有多個偏差原因

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

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

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

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

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

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

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

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

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

    關(guān)注

    5149

    文章

    19657

    瀏覽量

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

    關(guān)注

    30

    文章

    4900

    瀏覽量

    70675
  • 測試工具
    +關(guān)注

    關(guān)注

    0

    文章

    60

    瀏覽量

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

    關(guān)注

    0

    文章

    30

    瀏覽量

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

掃碼添加小助手

加入工程師交流群

    評論

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

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

    5月20日,RT-Thread官方預(yù)售了首款調(diào)試工具RT-Trace,獲得了開發(fā)者及企業(yè)用戶的廣泛關(guān)注與支持。RT-Trace調(diào)試工具結(jié)束預(yù)售階段,即日起正式發(fā)布!RT-Trace是一款專為
    的頭像 發(fā)表于 06-18 12:02 ?475次閱讀
    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實現(xiàn)了對新版MISRA C:2025?標(biāo)準(zhǔn)的 100% 覆蓋,并提供對應(yīng)的合規(guī)模塊。此版本還擴展了對 CERT
    的頭像 發(fā)表于 05-13 16:48 ?411次閱讀
    <b class='flag-5'>Helix</b> <b class='flag-5'>QAC</b> 2025.1 重磅<b class='flag-5'>發(fā)布</b>!MISRA C:2025? 100%覆蓋

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

    Perforce QAC 2025.1實現(xiàn)了對新發(fā)布的MISRA C:2025?標(biāo)準(zhǔn)的100%覆蓋,并提供了對應(yīng)的新合規(guī)模塊。該版本還擴展了對CERT C Level 1建議的覆蓋范圍,改進了與持續(xù)
    的頭像 發(fā)表于 04-21 15:14 ?346次閱讀
    <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.1新特性

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

    Perforce推出全新P4平臺及P4 One客戶端!從廣為人知的“P4”到Helix Core到Perforce P4,此次品牌重塑是一次初心回歸,也是對開發(fā)者和數(shù)字創(chuàng)作團隊需求的深度回應(yīng)。一起來了解更多吧~
    的頭像 發(fā)表于 03-28 15:04 ?594次閱讀
    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>)等

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

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

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

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

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

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

    Helix QAC 2024.3新特性速覽

    Helix QAC 2024.3 附帶適用于?Windows?和?Linux?的基于?Qt?的新安裝程序,并增強了對Validate SAML/OIDC?身份驗證的支持。此版本還包括對某些環(huán)境的 Dataflow 穩(wěn)健性的改進,以及整個產(chǎn)品中的許多質(zhì)量增強功能。
    的頭像 發(fā)表于 11-06 15:42 ?749次閱讀
    <b class='flag-5'>Helix</b> <b class='flag-5'>QAC</b> 2024.3新特性速覽

    汽車異構(gòu)硬件平臺開發(fā)如何進行靜態(tài)代碼分析

    先進的靜態(tài)代碼分析工具,其新版本中引入的多CCT功能為開發(fā)人員提供了強大的支持,該功能不僅簡化了多編譯器環(huán)境下的代碼分析過程,還可以極大增強代碼
    的頭像 發(fā)表于 10-09 16:15 ?872次閱讀
    汽車異構(gòu)硬件平臺開發(fā)如何進行<b class='flag-5'>靜態(tài)</b><b class='flag-5'>代碼</b>分析

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

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

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

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

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

    Klocwork 2024.2 為現(xiàn)代?C/C++?分析引擎引入了顯著的準(zhǔn)確性和性能改進。此版本還包括增強的安全性和身份驗證功能以及改進的用戶體驗,以及?MISRA??和?CERT?規(guī)則集改進、Java?語言增強功能以及?Kotlin?的新?CWE?映射。
    的頭像 發(fā)表于 08-06 12:16 ?580次閱讀
    <b class='flag-5'>代碼</b><b class='flag-5'>靜態(tài)</b><b class='flag-5'>測試工具</b>Klocwork 2024.2<b class='flag-5'>新發(fā)布</b>

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

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

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

    如何使用靜態(tài)代碼分析工具(如Klocwork 和 Helix QAC)實現(xiàn)質(zhì)量門。 什么是質(zhì)量門? 質(zhì)量門是在IT或開發(fā)項目中實施的檢查點,
    的頭像 發(fā)表于 07-29 15:12 ?874次閱讀

    什么是質(zhì)量閘門?

    速度。 一些靜態(tài)分析工具 —— 像 Klocwork 和 Helix QAC —— 可以在新代碼進入時執(zhí)行合并請求分析。質(zhì)量閘門防止您的提交
    的頭像 發(fā)表于 07-16 23:11 ?552次閱讀
    什么是質(zhì)量閘門?