QA·C++
Leveraging our core capabilities, QA·C++ is the most sophisticated static analysis solution for advanced C++ environments, combining language compliance (up to the latest C++11 version) with advanced language and dataflow analysis. With compliance packages for MISRA C++, HIC++ and JSF AV C++ coding standards, QA·C++ offers an automated, highly effective means of analyzing your code against your chosen coding standard, with metrics and code structure visualizations bringing a further level of clarity to complex C++ projects.
TÜV SÜD has certified QA·C++ as “fit for purpose” for safety-related development under ISO 26262 and IEC 61508, enabling our customers to achieve product certifications to these standards more easily and in less time.
KEY FEATURES / BENEFITS
- C++ language proprietary parser, integrated with a sophisticated dataflow engine
- Identifies coding defects at the earlier possible stage in the development cycle
- Dataflow analysis to catch bugs
- 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, metrics and visualisations to improve the effectiveness of code reviews
- Automated code inspection provides instant, object, repeatable code audits
- Minimal false positives, saving time, money and key experienced resources
TECHNICAL SPECIFICATIONS
Current release: QA·C++ 3.0
Platforms
- Windows (x86): 7
- Solaris (Sparc): 10
- RedHat Linux (x86): EL 3, EL 4 and EL 5
IDE and Build System Integrations
- Microsoft Visual Studio™ 2008 and 2010
- Eclipse™ and Eclipse™ based IDEs (eg CodeWarrior)
- Windriver Tornado™ & Workbench™
- Rhapsody™
- Makefile
- Custom Integrations (including VCS)
- Project converters for many embedded device IDEs
For more information :
- Request a code review/product evaluation
- Read our Technical Whitepaper on Abstract Interpretations of C Language with Bit-Vector SMT
- QA·C++ data sheet
- Compliance Modules for QA·C++
- More on QA·C++ related services (integration, training, support etc )
- Contact us for more information
