PRQA ISO UKAS TickIT Certifications


Industry benchmark for in-depth, accurate analysis of industrial-scale C code

QA·C is the industry-leading static analysis solution for the C language, providing a comprehensive suite of features to help to enforce a wide range of coding standards, and to find bugs in new and legacy code. Leveraging our core capabilities, QA·C offers an automated, highly effective means to analyze your code against the chosen coding standard, with metrics and code structure visualizations bringing a further level of clarity to complex projects. Use this tool to prevent bugs and to identify coding issues extremely early in the development cycle, passing better code into the latter stages of the development process.

SGS TUV SAAR Certification
SGS-TÜV Saar has certified QA·C as “usable in the development of safety related software” for the key safety critical standards, IEC 61508, ISO 26262, EN 50128, IEC 60880 and IEC 62304, enabling our customers to achieve product certifications to these standards more easily and in less time.



  • C language proprietary parser, integrated with a sophisticated dataflow engine
  • 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 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 C
  • 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


Current release: QA·C 9.0


Technical Overview

  • 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

More resources

Free trial by PRQARequest an evaluation
QA·C software quality solutionFind out how to Integrate QA·C into IAR Embedded Workbench
whitepaper about advanced static analysis Read our Developers’ Challenge Whitepaper
QA·C DatasheetQA·C datasheet
static analysis solution QA·C compliance moduleCompliance Modules for QA·C
DO-178B Find out more about DO-178B Qualification Pack
QA·C static analysis toolMore on QA·C related services (integration, training, support, etc.)
Contact PRQAContact us for more information