首頁 > 產(chǎn)品中心 > Helix QAC 
Helix QAC核心價(jià)值
- 可以支持?jǐn)?shù)百萬行代碼的高效分析
- 全面提高代碼質(zhì)量和安全性
- 提升代碼的可移植性和復(fù)用性
- 持續(xù)檢查源碼是否符合相應(yīng)的編碼規(guī)范
- 給出診斷消息幫助開發(fā)工程師更正錯(cuò)誤
- 避免人工審查代碼的瓶頸
- 模擬運(yùn)行時(shí)機(jī)制進(jìn)行數(shù)據(jù)流分析
Helix QAC關(guān)鍵檢查項(xiàng)
檢測(cè)C/C++語言中會(huì)降低代碼復(fù)用性、引發(fā)產(chǎn)品故障、導(dǎo)致功能安全問題、產(chǎn)生網(wǎng)絡(luò)安全漏洞的危險(xiǎn)結(jié)構(gòu)。
Helix QAC可以幫助有效避免未定義行為、違反ISO語言約束、溢出和零除、未初始化的數(shù)據(jù)、內(nèi)存/指針操作問題、控制流問題、類型轉(zhuǎn)換、冗余代碼、移位操作、對(duì)象/函數(shù)聲明和定義問題、危險(xiǎn)的語言使用、不可移植的語言使用、標(biāo)識(shí)符的命名慣例等風(fēng)險(xiǎn)。
Helix QAC關(guān)鍵特性
編碼規(guī)則深度覆蓋
Helix QAC提供了對(duì)主要編碼規(guī)則的深度覆蓋，可以更完整地覆蓋C和C++的主要編碼標(biāo)準(zhǔn)的規(guī)則。Helix QAC支持多種C和C++編碼標(biāo)準(zhǔn)，提供相應(yīng)的合規(guī)性模塊，也支持標(biāo)準(zhǔn)的客戶化定制。
獨(dú)特的數(shù)據(jù)流分析
Helix QAC獨(dú)特的深度數(shù)據(jù)流分析引擎集成了一個(gè)先進(jìn)的、經(jīng)過行業(yè)驗(yàn)證的可滿足性模塊化理論(SMT) 解析引擎——這是首個(gè)用于深度數(shù)據(jù)流靜態(tài)分析產(chǎn)品的技術(shù)，可以查找程序運(yùn)行時(shí)的錯(cuò)誤和嚴(yán)重的缺陷，如：數(shù)組越界、空指針隱患、代碼除數(shù)為零、內(nèi)存操作隱患、資源泄露、死代碼、不可達(dá)分支、變量關(guān)系等問題，并顯示錯(cuò)誤觸發(fā)的詳細(xì)堆棧信息。Helix QAC的數(shù)據(jù)流分析功能還支持用戶自定義分析深度，以便在分析深度和效率之間合理平衡。
高度可執(zhí)行的診斷結(jié)果
Helix QAC清楚地標(biāo)識(shí)出必須修復(fù)的缺陷，并將問題按嚴(yán)重程 度分類，提供在線幫助系統(tǒng)，即時(shí)支持開發(fā)人員修復(fù)源代碼中發(fā)現(xiàn) 的問題。這種即時(shí)反饋的方式可以幫助開發(fā)人員很快建立起對(duì)最佳 實(shí)踐方法的認(rèn)識(shí)，形成良好的編碼習(xí)慣。
風(fēng)險(xiǎn)優(yōu)先級(jí)
根據(jù)風(fēng)險(xiǎn)的嚴(yán)重性確定編碼問題的優(yōu)先級(jí)。Helix QAC 可幫助您使用過濾器、抑制和基線來定位最關(guān)鍵的缺陷。它提供準(zhǔn)確的診斷和可操作的結(jié)果，使您能夠首先解決最重要的問題。
分析儀表板
Helix QAC 儀表板是分析結(jié)果的集中存儲(chǔ)，可通過 Web 瀏覽器訪問。結(jié)果將作為“快照”上傳到儀表板。自定義視圖和報(bào)告意味著可以隨時(shí)間推移監(jiān)控項(xiàng)目代碼質(zhì)量和合規(guī)性指標(biāo)。Helix QAC 儀表板是完全可自定義的，使您能夠定制其行和列，以更充分地滿足團(tuán)隊(duì)和項(xiàng)目的需求。通過使用儀表板，您可以：
? 按項(xiàng)目和部分審查整個(gè)代碼。
? 識(shí)別問題和偏差。
? 查看項(xiàng)目更新和通知。
? 分配規(guī)則配置（如 MISRA、AUTOSAR 和 CERT）。
? 驗(yàn)證代碼是否符合編碼標(biāo)準(zhǔn)和行業(yè)最佳實(shí)踐。
? 衡量整體代碼質(zhì)量。
? 通過可定制的報(bào)告監(jiān)控發(fā)展趨勢(shì)。
開發(fā)工具集的集成
將靜態(tài)代碼分析與開發(fā)工具集的部分集成。Helix QAC 支持大多數(shù)編譯器。而且，您可以將其與許多開發(fā)工具集成，包括 IDES（如 Microsoft Visual Studio）、版本控制系統(tǒng)（如 Helix Core）和持續(xù)集成構(gòu)建服務(wù)器（如 Jenkins）。
技術(shù)規(guī)格
支持的語言：
?C ?C++
支持的平臺(tái)：
?Windows7 /Windows 10 / Windows 11
?Linux RHEL5 and above(32/64 bit)
支持的編碼標(biāo)準(zhǔn)：
?MISRA C:2023
? MISRA C 2012 (including AMD4)
? MISRA C 2004
? Barr-C
? AUTOSAR C++14
? MISRA C++ 2023
? MISRA C++ 2008
? JSF AV C++
? CERT C
? CERT C++
? CWE, including CWE Top 25
? ISO/IEC TS 17961 (C Secure)
? High Integrity C++ (HIC++)
? 用戶自定義規(guī)則
支持的IDE：
? Eclipse ? Visual Studio ? Visual Studio Code
支持的功能安全標(biāo)準(zhǔn)：
? ISO 26262 up to ASIL level D*
? IEC 61508 up to SIL 4*
? EN 50128 up to SW-SIL 4*
? IEC 62304 up to Software Safety Class C*
? IEC 60880*
? D0330
Helix QAC 2023.3 中的新增功能
Helix QAC 2023.3能夠在2023年第4季度發(fā)布的新MISRA C++?指南中實(shí)現(xiàn)100%的MISRA C++:2023?規(guī)則覆蓋。此外，該版本還增加了對(duì)C++20語言的擴(kuò)展支持，并對(duì)Perforce Validate平臺(tái)，以及Helix QAC與Validate的集成進(jìn)行了改進(jìn)，包括使用體驗(yàn)與性能方面的增強(qiáng)。
編碼標(biāo)準(zhǔn)覆蓋率（MISRA C++:2023?，MISRA C:2023?）
MISRA C++:2023?
Helix QAC預(yù)計(jì)對(duì)即將于2023年第四季度發(fā)布的MISRA C++:2023.3準(zhǔn)則實(shí)現(xiàn)100%的強(qiáng)制覆蓋。
- 新的M2CPP兼容模塊將在新標(biāo)準(zhǔn)發(fā)布時(shí)提供，該模塊將強(qiáng)制執(zhí)行MISRA C++:2023，可與Helix QAC 2023.3一同使用。
MISRA C:2023??
Helix QAC為MISRA C:2023提供了100%的強(qiáng)制覆蓋，該版本將MISRA C:2012與所有四項(xiàng)修訂和兩項(xiàng)技術(shù)勘誤整合成了一部綜合性的單一版本.
- M3CM兼容模塊對(duì)第8.3規(guī)則的強(qiáng)制執(zhí)行有所改進(jìn)。
C++20語言支持
此版本新增對(duì)以下語言特性的支持：
- 需求表述（requires-expressions）——隨C++概念引入，可用于確定構(gòu)造的有效性，而不會(huì)導(dǎo)致編譯器錯(cuò)誤。
Perforce Validate
該持續(xù)安全與代碼合規(guī)平臺(tái)為嵌入式和關(guān)鍵的應(yīng)用程序提供功能安全、防范、可靠性和質(zhì)量保證。Validate平臺(tái)集中存儲(chǔ)了分析數(shù)據(jù)、趨勢(shì)和代碼庫配置的，涵蓋整個(gè)組織，為所有Perforce靜態(tài)分析產(chǎn)品提供了單一管理平臺(tái)。2023.3版本提供：
- 支持使用多個(gè)合規(guī)性模塊的項(xiàng)目——改進(jìn)了項(xiàng)目實(shí)施其他編碼標(biāo)準(zhǔn)、規(guī)則或漏洞類型時(shí)的分析結(jié)果。
- 驗(yàn)證、報(bào)告、插件和圖形用戶界面也進(jìn)行了更改，以反映對(duì)項(xiàng)目中多個(gè)合規(guī)性模塊的新支持。
提升用戶體驗(yàn)
安裝
- 為Helix QAC和合規(guī)性模塊提供了Zip/tar存檔，可作為安裝程序的替代方案，從而提供更靈活的產(chǎn)品部署、維護(hù)和升級(jí)方式
自動(dòng)CCT發(fā)生器
- 在使用INJECT、MONITOR和MSVS等同步類型時(shí)增加對(duì)自動(dòng)CCT生成的支持
- 解決了多個(gè)現(xiàn)有支持的編譯器存在的問題
數(shù)據(jù)流
- 改進(jìn)了數(shù)據(jù)流處理，使用更少的內(nèi)存，并提高內(nèi)存或交換存儲(chǔ)有限的計(jì)算機(jī)上的穩(wěn)定性
- 圖形用戶界面（GUI）
- 改進(jìn)了使用GUI時(shí)對(duì)4K顯示器的支持
插件
- VS代碼
- 在文件保存時(shí)運(yùn)行分析
- 增強(qiáng)了在遠(yuǎn)程運(yùn)行QAC時(shí)訪問幫助的功能*
*注意：需要診斷列表（diaglist）許可證
- Visual Studio
- 改進(jìn)了GUI元素同步，以便繼續(xù)與Validate集成
- Eclipse
- 改進(jìn)了GUI元素同步，以便與Validate平臺(tái)持續(xù)集成
操作系統(tǒng)
- 支持Windows 11
