简介
美国Perforce（PRQA）公司是嵌入式静态分析领域公认的行业领导及先驱，拥有30多年软件开发及测试经验，是MISRA编码委员会创始会员及最具影响力的会员，同时是AUTOSAR组织在代码静态分析领域的唯一会员，负责功能安全软件架构的相关标准制定工作，参与编写了C++14编码指南，制定了AUTOSAR测试方案。
随着现代车辆的智能化发展（ADAS, Telematics, Infotainment, Cloud Services），车载代码量呈指数级增长，代码静态分析的自动化势在必行，且人们对功能安全的要求日益严格，符合行业编码规范是对车载代码的基础要求。Helix QAC作为业内为人熟知的自动代码静态分析工具，可以支持MISRA C/C++、AUTOSAR C++、CERT C/C++、CWE C/C++、HICPP、JSF AV C++编码规范包，其精准的诊断消息和强大的软件生命周期管理平台为全球3000多个整车厂和零部件供应商所信赖。
客户列表（部分）
Helix QAC坚持“Early & Often”原则，在产品开发初期检测软件缺陷，快速有效地报告代码的数据流控制流问题、不一致性、危险使用和违反编码标准等情况。
Helix QAC提供了一个高效、健壮和完全自动化的环境来覆盖编码规范，即时反馈诊断信息，给出修改建议，并针对检测到的缺陷生成不同参考标准的报告（代码审查报告、度量报告、合规报告和抑制报告），帮助开发工程师开发可靠性高、可移植性强、可复用性好、易测可维护的代码，简化开发生命周期，降低开发成本。
Helix QAC特性
- 可以支持数百万行代码的高效分析
- 全面提高代码质量和安全性
- 提升代码的可移植性和复用性
- 持续检查源码是否符合相应的编码规范
- 给出诊断消息帮助开发工程师更正错误
- 避免人工审查代码的瓶颈
- 模拟运行时机制进行数据流分析
Key Checks
检测C/C++语言中会降低代码复用性、引发产品故障、导致功能安全问题、产生网络安全漏洞的危险结构。
Helix QAC可以帮助您有效避免未定义行为、违反ISO语言约束、溢出和零除、未初始化的数据、内存/指针操作问题、控制流问题、类型转换、冗余代码、移位操作、对象/函数声明和定义问题、危险的语言使用、不可移植的语言使用、标识符的命名惯例等风险。
后续介绍:
- 企业级代码静态测试工具Helix QAC——从应用层级保证代码质量和安全
- 企业级代码静态测试工具Helix QAC——技术规格
- 企业级代码静态测试工具Helix QAC——关键特性
- 企业级代码静态测试工具Helix QAC——支持编码规范 - 企业级代码静态测试工具Helix QAC——Helix QAC Dashboard基于团队的工程质量管理系统/Helix QAC资质认证
