Helix QAC是嵌入式靜態(tài)分析領(lǐng)域公認的行業(yè)領(lǐng)導及先驅(qū), 服務(wù)全球多個行業(yè)的客戶提供超過30年;是MISRA C&C++編碼委員會的創(chuàng)始會員,也是MISRA C&C++委員會最具影響力的會員,AutoSAR規(guī)范制定工作組成員;商業(yè)代碼自動分析解決方案的先驅(qū)——確保問題在開發(fā)周期的早期即被識別并修復(fù)。
全球范圍內(nèi),每天使用Helix QAC分析超過10億行代碼。
Helix QAC是經(jīng)SGS-TüV Saar 組織認證,符合功能安全標準,可用于安全相關(guān)的軟件開發(fā)。
已經(jīng)認證的行業(yè)有:
ISO 26262 (汽車)
EN 50128 (鐵路)
IEC 60880 (核電站)
IEC 62304 (醫(yī)療設(shè)備)
IEC 61508 (一般工業(yè))
同時,通過了ISO 9001質(zhì)量認證
Helix QAC主要功能和優(yōu)勢
提供精準的診斷消息,幫助開發(fā)人員找出缺陷、鎖定引入缺陷的根源,以及解決這些缺陷的方式
提供詳細的指標度量,以及可視化報表,提高代碼審查的效率
自動執(zhí)行內(nèi)外部的編碼規(guī)范,MISRA、AUTOSAR、CERT、CWE等
通過數(shù)據(jù)流分析,能夠找出如未定義行為、控制流 、初始化、指針等類型的運行時錯誤
支持基線、抑制、偏離管理
可進行跨模塊分析
靈活的部署方式及CI工具持續(xù)集成
Dashboard分析結(jié)果管理面板,為不同人員提供定制界面
QAC GUI分析結(jié)果
幫助文檔
標準報告
Dashboard管理界面
可提供免費試用,歡迎來電或來郵咨詢。
Copyright © 2023 漢宜電子科技(上海)有限公司 All Rights Reserved