汉宜电子科技(上海)有限公司

 

Helix QAC 静态代码分析工具

所属领域:
嵌入式系统仿真
适用行业:
医疗器械汽车整车/零部件轨道交通其它
代理产品

产品介绍

产品参数

产品手册

相关案例

相关资料

咨询留言

联系信息

SCA静态代码检查工具

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


 
如果您对此感兴趣,欢迎问问展商吧!
请您使用观众账号登录
暂无数据
暂无数据
如果您对此感兴趣,欢迎问问展商吧!
我要咨询×
询价×
试用×