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分析结果管理面板,为不同人员提供定制界面