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
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 AbsInt RuleChecker documentation, please click link below:

AbsInt RuleChecker Documentation

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

Register Now