RuleChecker primarily targets safety-critical embedded applications, but can also be used to analyze any structured programs with complex memory usages and dynamic memory allocation.
RuleChecker is a static analyzer that automatically checks your C or C++ code for compliance with MISRA rules, CERT recommendations, and other coding guidelines.
Supported Standards
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.
MISRA C:2025
MISRA C:2023
MISRA C++:2023
MISRA C:2012, incl. Amendment 1, 2 & 3
MISRA C++:2008
MISRA C:2004
MISRA AC AGC
SEI CERT Secure C
SEI CERT C++
MITRE CWE (Common Weakness Enumeration)
ISO/IEC TS 17961:2013 (C Secure Coding Rules)
ISO/IEC 9899:1999 diagnostic
Adaptive AUTOSAR C++14
JSF AV (Joint Strike Fighter Air Vehicle) C++ Coding Standards
HIS metrics
Customizable style rules for all C identifiers
Your very own in-house coding guidelines (on request)
Features
Easy configuration, allowing you to toggle individual rules and even specific aspects of certain rules.
Exceptionally fast analyses for complex real-world programs with hundreds of thousands lines of code.
Various statistics and code metrics, such as comment density or cyclomatic complexity.
Optional checks for metric thresholds.
Interactive graphs, charts, and tables for efficient exploration of the analysis results.
Customizable reports for documentation and certification purposes.
Batch mode for use in continuous integration frameworks.
Plugins for TargetLink, Jenkins, Eclipse, and ARM Keil µVision.
Seamless integration with the runtime error analyzer Astrée to guarantee zero false negatives and minimize false positives on semantical rules.
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.
Start Checking Your Code Today?
Download RuleChecker and ensure your code meets industry standards