Static analysis tools for C and C++ (see What's The Difference Between Static Analysis of C and C++ Versus Java Programs) provide a way to detect these problems in general and MISRA C is a ...