RuleChecker is a static program analyzer that automatically checks your C code for compliance with MISRA rules, CERT recommendations, and other coding guidelines.
RuleChecker primarily targets safety-critical embedded applications, but can also be used to analyze any structured C programs, handwritten or generated, with complex memory usages, dynamic memory allocation, and recursion.
The global automotive supplier Helbako in Germany is using RuleChecker to demonstrate MISRA compliance of their electronic control software.
MTU is using RuleChecker to demonstrate the correctness of control software for emergency power generators in power plants.
We offer a special Qualification Support Kit for RuleChecker that simplifies the qualification process for DO-178B/C, ISO 26262, IEC 61508, EN-50128, the FDA Principles of Software Validation, and other safety standards.
Request your free trial package today.