This white paper describes how to use the MISRA C:2012 standard in conjunction with static analysis tools like CodeSonar and introduces three critical factors every development team should understand about MISRA C:2012.

One of the most important aspects of MISRA C is its support of automated static analysis tools to find violations of the standard. Because tool support is so important, it is helpful to understand the kinds of properties that static analysis tools can detect. Some tools can only reason about superficial syntactic properties of the code, whereas the more advanced tools, like CodeSonar, have deep semantic knowledge of the entire program.