Fast automatic checks for adherence to coding standards

RuleChecker is a static program analyzer that automatically checks your C or 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


Features

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 Friedrichshafen is using RuleChecker to demonstrate the cor­rectness of con­trol software for emer­gency power gene­rators in power plants.

Bosch Automotive Steering replaced their legacy tools with Astrée and RuleChecker, resulting in significant savings thanks to faster analyses, higher accuracy, and optimized licensing and support costs.

Qualification support

Your usage of RuleChecker can be qualified according to DO-178B/C, ISO 26262, IEC-61508, EN-50128, IEC-60880, DO-333, IEC-60188, ISO 25119, the FDA Principles of Software Validation, and other safety standards. We offer a special Qualification Support Kit that simplifies and automates the qualification process.

Free trial

Request your free trial package today.