Fast automatic checks for adherence to coding standards

RuleChecker is a static 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 programs, handwritten or generated, with complex memory usages, dynamic memory allocation, and recursion.

Supported standards


Features

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.

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.

Distalmotion uses RuleChecker on a daily basis for medical device development. It helps the software team to assess and improve the quality and compliance of the code driving Distalmotion’s safety-critical robotic surgery platform.

On the lookout for an SCA tool for their AUTOSAR Adaptive applications for a German OEM, Luxoft found RuleChecker to be the only static analyzer on the market that’s easy to set up on a complex toolchain with a build process partly executed within virtual machines. At Luxoft, RuleChecker validates code compliance with the C++ AUTOSAR Adaptive platform guidelines and HIS metrics, thus elegantly fulfilling their quality targets. It success­fully integrates with a Jenkins CI server where it generates automatic reports for every single change in the code, as well as with multiple AUTOSAR Adaptive toolchains from different vendors.

Moving toward releasing the first MISRA-compliant embedded database system, McObject incorporated RuleChecker into its software production and realized immediate benefits with respect to the stability and traceability of the code.

Availability

Free trial

You can try out both RuleChecker and Astrée on your own code for a period of 30 days.
Start your free trial today, complete with online training and tech support.

A free trial of QA-MISRA can be requested at qa-systems.com/start-trial.