主要优势

  降低成本，同时缩短上市时间

  降低程序失败的风险

  在开发周期的早期识别编码问题

  确保质量代码和编码标准合规性

  加速和重新聚焦代码评审过程，提高团队合作能力

  建立程序员意识 - 培养最佳实践

  增强可靠性、可移植性和可维护性

  即时的和可重复的代码审计和评审

主要功能

  C/C++语言专用解析器，集成了一个复杂的数据流引擎

  支持ISO C++'11

  在开发周期尽可能早的阶段识别编码缺陷

  用最先进的可满足性模块理论（SMT）求解器技术通过全程序数据流分析提供先进的缺陷预防

  可选的多线程和资源模块（MTR），通过对代码流的多线程检查来补充QA-C / QA-C++分析

  提高代码可靠性、可维护性、可移植性、可重用性和可测试性

  证明符合编码规则集和编码标准，包括MISRA，JSF和HIC++

  非常精确的诊断信息（以及广泛的帮助文本），供开发人员识别缺陷，分析根本原因并实施修复

  诊断、可配置的度量阈值以限制代码复杂性

  自动代码检查提供即时、客观、可重复的代码审计

  最小的误报，节省时间、金钱和关键的经验资源

技术规格

技术概述

  基于组件的插件体系结构

  两个用户接口：

    >跨平台图形用户界面，集成了源代码编辑器，

    >跨平台命令行接口。

  与Microsoft Visual Studio和Eclipse完全集成，因此开发人员现在可以在他们喜爱的开发环境中拥有跨平台GUI的所有功能。

  跨平台、跨界面、多语言的工程格式和工程引擎，允许混合源代码（C和C++）工程

  可移植的工程格式，允许工程配置在开发团队成员之间轻松分发。

  在一个跨平台用户界面中完成对所有工程设置的控制。

  单个安装程序，提供：

    >所有用户界面，

    >所有支持的编译器的开箱即用兼容性，

    >允许与绝大多数自动构建系统和IDE轻松集成，

    >将结果上传到QA-Verify质量管理系统的能力。

支持的平台：

  Windows 7（32位和64位）

  Linux RHEL 5（32位和64位）

  Solaris 10（64位）

部署选项：

  新的跨平台GUI

  命令行

  Makefile集成

  与Microsoft Visual Studio™2008,2010,2012和2013紧密集成

  与基于Eclipse™的IDE紧密集成（例如CodeWarrior和Wind River Workbench™）

  模型驱动的开发环境（例如Rhapsody™）

  持续集成环境（例如Jenkins™）

  跨平台分析项目管理

合规模块：

  MISRA

  JSF AV C++

  High Integrity C++

  CERT^® C and CERT^® C++

  CERT^®C和CERT^®C++