Open-source C/C++ static analyzer focused on actual bugs (undefined behavior, memory leaks, uninitialized variables, dead code) rather than style. Complements clang-tidy because it uses different analysis techniques and catches different classes of issue.
Add to CI alongside clang-tidy and compiler warnings; treat the three together as a layered defense and gate on violation delta. Upgrade to Cppcheck Premium if MISRA documentation is required.
Cppcheck Premium adds certified MISRA support with commercial backing. Pairs with #20 Automated Code Review.