Helix QAC是嵌入式静态分析领域公认的行业领导及先驱, 服务全球多个行业的客户提供超过30年;是MISRA C&C++编码委员会的创始会员,也是MISRA C&C++委员会最具影响力的会员,AutoSAR规范制定工作组成员;商业代码自动分析解决方案的先驱——确保问题在开发周期的早期即被识别并修复。
全球范围内,每天使用Helix QAC分析超过10亿行代码。
Helix QAC是经SGS-TüV Saar 组织认证,符合功能安全标准,可用于安全相关的软件开发。
已经认证的行业有:
ISO 26262 (汽车)
EN 50128 (铁路)
IEC 60880 (核电站)
IEC 62304 (医疗设备)
IEC 61508 (一般工业)
同时,通过了ISO 9001质量认证
Helix QAC主要功能和优势
提供精准的诊断消息,帮助开发人员找出缺陷、锁定引入缺陷的根源,以及解决这些缺陷的方式
提供详细的指标度量,以及可视化报表,提高代码审查的效率
自动执行内外部的编码规范,MISRA、AUTOSAR、CERT、CWE等
通过数据流分析,能够找出如未定义行为、控制流 、初始化、指针等类型的运行时错误
支持基线、抑制、偏离管理
可进行跨模块分析
灵活的部署方式及CI工具持续集成
Dashboard分析结果管理面板,为不同人员提供定制界面
QAC GUI分析结果
帮助文档
标准报告
Dashboard管理界面
可提供免费试用,欢迎来电或来邮咨询。
Copyright © 2023 汉宜电子科技(上海)有限公司 All Rights Reserved