Check your C or C++ code now

Standalone RuleChecker

RuleChecker as a standalone tool is now distributed exclusively by our partner QA Systems under the name QA-MISRA.

RuleChecker + static runtime error analysis

We continue to offer RuleChecker bundled with our static analyzer Astrée. This coupling additionally guarantees zero false negatives and minimizes false positives on semantical rules.

Free 30-day trial

The software runs under Windows 10, 64-bit Linux, and macOS. The trial version is technically identical to the full com­mercial version in every respect, except that your license file will expire after 30 days.

If you have any questions before trying, email our customer support.

Free training

There’s no need to figure out the software by yourself or read the user manual cover to cover. Your trial begins with a free interactive online training via WebEx.

After only about an hour, on a date and time of your choosing, you’re all set to go. And it’s only then that your license file gets activated, so you still have a full 30 days left.

Free support to get you started

Make sure to contact with any questions during your trial, and feel free to request additional WebEx sessions when needed.

All commercial licenses also include 180 days of free support and updates. Major new releases are published twice a year, which means you’ll receive at least one update for free.

Price quote

The one-time fee for a perpetual license depends on the number of installations and the number of analyses running in parallel.
The Qualification Support Kit is available optionally at a surcharge.
You can also rent the tool temporarily, or commission us with the analysis of your code.

Email us for a quote tailored to your personal requirements, or get in touch with your local distributor.