Fast automatic checks for adherence to coding standards

RuleChecker is a static program analyzer that automatically checks your C code for compliance with MISRA rules, CERT recom­mendations, and other coding guidelines.

RuleChecker screenshot
RuleChecker screenshot

RuleChecker primarily targets safety-critical embedded applications, but can also be used to analyze any structured C programs, handwritten or generated, with complex memory usages, dynamic memory allocation, and recursion.

Supported standards


Who uses RuleChecker?

The global automotive supplier Helbako in Germany is using RuleChecker to de­monstrate MISRA compliance of their elec­tronic control software.

MTU is using RuleChecker to demonstrate the cor­rectness of con­trol software for emer­gency power gene­rators in power plants.

Qualification support

We offer a special Qualification Support Kit for RuleChecker that simplifies the qualification process for DO-178B/C, ISO 26262, IEC 61508, EN-50128, the FDA Principles of Software Validation, and other safety standards.

Free trial

Request your free trial package today.