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