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