Helix QAC是嵌入式靜態(tài)分析領(lǐng)域公認(rèn)的行業(yè)領(lǐng)導(dǎo)及先驅(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 組織認(rèn)證颂翼,符合功能安全標(biāo)準(zhǔn),可用于安全相關(guān)的軟件開發(fā)慨灭。
已經(jīng)認(rèn)證的行業(yè)有:
ISO 26262 (汽車)
EN 50128 (鐵路)
IEC 60880 (核電站)
IEC 62304 (醫(yī)療設(shè)備)
IEC 61508 (一般工業(yè))
同時朦乏,通過了ISO 9001質(zhì)量認(rèn)證
Helix QAC主要功能和優(yōu)勢
提供精準(zhǔn)的診斷消息,幫助開發(fā)人員找出缺陷慢夸、鎖定引入缺陷的根源罗炸,以及解決這些缺陷的方式
提供詳細(xì)的指標(biāo)度量,以及可視化報表咕菱,提高代碼審查的效率
自動執(zhí)行內(nèi)外部的編碼規(guī)范么歹,MISRA、AUTOSAR娶匠、CERT橱序、CWE等
通過數(shù)據(jù)流分析唠延,能夠找出如未定義行為、控制流 疫橘、初始化袜簇、指針等類型的運行時錯誤
支持基線、抑制癌玩、偏離管理
可進(jìn)行跨模塊分析
靈活的部署方式及CI工具持續(xù)集成
Dashboard分析結(jié)果管理面板枷量,為不同人員提供定制界面
QAC GUI分析結(jié)果
幫助文檔
標(biāo)準(zhǔn)報告
Dashboard管理界面
可提供免費試用,歡迎來電或來郵咨詢污益。
Copyright © 2023 漢宜電子科技(上海)有限公司 All Rights Reserved