Helix QAC是嵌入式靜態(tài)分析領域公認的行業(yè)領導及先驅(qū)绸搞, 服務全球多個行業(yè)的客戶提供超過30年;是MISRA C&C++編碼委員會的創(chuàng)始會員糕珊,也是MISRA C&C++委員會最具影響力的會員晰奉,AutoSAR規(guī)范制定工作組成員有勾;商業(yè)代碼自動分析解決方案的先驅(qū)——確保問題在開發(fā)周期的早期即被識別并修復损谦。
全球范圍內(nèi)酝侯,每天使用Helix QAC分析超過10億行代碼顾翼。
Helix QAC是經(jīng)SGS-TüV Saar 組織認證台腥,符合功能安全標準宏赘,可用于安全相關的軟件開發(fā)。
已經(jīng)認證的行業(yè)有:
ISO 26262 (汽車)
EN 50128 (鐵路)
IEC 60880 (核電站)
IEC 62304 (醫(yī)療設備)
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