Static Analyzer for C or C++ Code for Compliance with MISRA, CERT
RuleChecker - AbsInt Angewandte Informatik GmbH (AbsInt)
RuleChecker is a static analyzer that automatically checks your C or 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 programs, handwritten or generated, with complex memory usages, dynamic memory allocation, and recursion.
