Specific MISRA C, MISRA C 2004 & MISRA C++ 2008 Coding Standards Support
Parasoft's core static analysis capability is preconfigured to provide out-of-the box
checking for the MISRA C, MISRA C 2004, and MISRA C++ 2008 standards.
To promote fast remediation, each MISRA violation detected is prioritized, assigned to the developer who wrote the related
code, and distributed to his or her IDE with direct links to the problematic code and a rule description. Every rule
description provides a description of the MISRA rule rationale and benefits, a sample violation, an explanation of
how to correct the violation, and a demonstration of how to correct the sample violation.