A medical company I work with uses Coverity and Klocwork to check the code for possible problems such as resource leaks and uninitialized pointer getting used. However, these are tools and not standard for safety critical code. What I have seen is that MISRA has been working on a standard for C++. They started with … Read more
You won’t be able to implement all MISRA/JSF rules and directives as cppcheck rules, mostly only the straightforward ones restricting certain C language features and constructions or that are style-related (some that come to mind: spaces before/after ./->, # of arguments on a single line, use of unions to provide different methods of accessing memory, … Read more
As mentioned in another answer, this is from the MISRA-C coding guidelines. The purpose is defensive programming, a concept which is often used in mission-critical programming. That is, every if – else if must end with an else, and every switch must end with a default. There are two reasons for this: Self-documenting code. If … Read more