Do you want the best MISRA checker?
PRQA solutions are widely adopted in mission critical, safety critical and commercial critical environments.
QA·C advanced static analysis of C language, providing sophisticated bug detection and compliance to coding standards.
QA·C++ the most sophisticated static analysis solution for advanced C++ Environments.
QA·Verify Quality Information system that extends the functionality of QA·C and QA·C++ static analysis tools.
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.