Check compliance with coding standards and naming conventions.
Starting in a future release, Code Prover will not support checking compliance with external coding standards and calculating code metrics. Migrate to Bug Finder for these workflows. See Migrate Code Prover Workflows for Checking Coding Standards and Code Metrics to Bug Finder.
- Custom Coding Rules
Description and list of custom naming convention rules
MISRA C:2004 Rules
Descriptions and list of MISRA C:2004 guidelines supported in Polyspace®
MISRA C:2012 Directives and Rules
Descriptions and example of MISRA C:2012 guidelines supported in Polyspace
MISRA C++:2008 Rules
Description and examples of MISRA™ C++:2008 guidelines supported in Polyspace
JSF C++ Rules
Description and list of JSF® C++ guidelines supported in Polyspace