AbsInt RuleChecker: Checking Coding Guidelines for C Programs

RuleChecker efficiently checks coding guidelines and computes code metrics for C programs.


Why do you need RuleChecker?

Safety-critical software has to be developed according to coding guidelines to ensure high-quality code, and to reduce the risk of programming errors and security vulnerabilities.

RuleChecker is a static analyzer designed to check coding guidelines and  compute code metrics for safety-critical C programs.  Multiple result  views and graphical visualizations enable an efficient result  exploration.

RuleChecker is fast and easy to use.

RuleChecker supports:

- MISRA C:2004
- MISRA C:2012 incl. Amendment 1
- ISO/IEC TS 17961:2013
- SEI CERT Secure C
- MITRE Common Weakness Enumeration (CWE).

RuleChecker can be coupled with the sound static analyzer Astree to  guarantee zero false negatives and minimal false positives on semantical  rules.

RuleChecker is fully batch-mode compatible and can be  used in continuous integration frameworks.  Open formats enable the  analysis results to be automatically processed.  A Jenkins plugin is  available.

A flexible client/server architecture supports a wide range of rollout scenarios.

RuleChecker  can be automatically qualified according to all relevant safety norms,  including ISO-26262, DO-178B/C, IEC-61508, EN-50128, etc.

For Full Software Evaluation, Licensing Information, Pricing Information, Set up an ONLINE Training, Technical questions, please register below:

To sign up for this Webinar, please email:


Robert Campbell

Toll Free: 877-380-3366
After Hours: 613-851-2155

Insert Merge Variable
Underline (Ctrl+U)