

Overview
Key Benefits & Features and Technical Specifications
KEY BENEFITS
- Reduces cost while improving time-to-market
- Lowers the risk of program failure
- Identifies coding problems early in the development cycle
- Ensures quality code and coding standard compliance
- Accelerates and refocuses the code review process and improves teamwork
- Builds programmer awareness -fosters best practices
- Enhances reliability, portability, and maintainability
- Allows instant and repeatable code audits and reviews
KEY FEATURES
- C/C++ language proprietary parser, integrated with a sophisticated dataflow engine
- Support for ISO C++’11
- Identifies coding defects at the earliest possible stage in the development cycle
- Advanced defect prevention provided by whole-program dataflow analysis with state-of-the-art Satisfiability Modulo Theories (SMT) solver technology
- Optional multi-threading and resources module (MTR) to complement QA-C/QA-C++ analysis with multi-thread inspection of code streams
- Improves code reliability, maintainability, portability, re-usability and testability
- Demonstrate compliance to coding rule sets and coding standards, including MISRA, JSF and HIC++
- Very precise diagnostic information (and extensive help text) for developers to identify defects, analyze the root causes and implement fixes
- Diagnostics, configurable metric thresholds to limit code complexity
Automated code inspection provides instant, objective, repeatable code audits - Minimal false positives, saving time, money and key experienced resources
TECHNICAL SPECIFICATIONS
- Component-based, plugin architecture
- Two user interfaces:
- cross-platform graphical user interface with integrated source code editor,
- cross-platform command line interface.
- Full integration with Microsoft Visual Studio and Eclipse, so developers now have all the features of the cross-platform GUI from within their favorite development environment.
- Cross-platform, cross-interface, multi-language project format and project engine, allowing mixed source code (C and C++) projects
- Portable project format, allowing project configurations to be easily distributed among development team members.
- Complete control over all project settings from within one cross-platform user interface.
- One single installer, providing:
- all user interfaces,
- out-of-the-box compatibility for all supported compilers,
- a feature set that allows easy integration with the vast majority of build automation systems and IDEs,
- the ability to upload results to the QA-Verify Quality Management System.
Supported Platforms:
- Windows 7 (32 & 64-bit)
- Linux RHEL 5 (32 & 64-bit)
- Solaris 10 (64-bit)
Deployment Options:
- New Cross Platform GUI
- Command Line
- Makefile Integration
- Tightly Integrated with Microsoft Visual Studioâ„¢ 2008, 2010, 2012 and 2013
- Tightly Integrated with Eclipseâ„¢ based IDEs (eg CodeWarrior and Wind River Workbenchâ„¢)
- Model-Driven Development Environments (e.g. Rhapsodyâ„¢)
- Continuous Integration Environments (e.g. Jenkinsâ„¢)
- Cross Platform Analysis Project Management
Compliance Modules:
- MISRA
- JSF AV C++
- High Integrity C++
- CERT® C and CERT® C++