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