Coding Standards
Migrate your workflow for checking coding standard compliance to
Bug Finder. See description and examples of coding rules checkers in
Bug Finder documentation
Check compliance with coding standards and naming conventions.
Note
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.
Categories
- 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
You can also select a web site from the following list:
Americas
- América Latina (Español)
- Canada (English)
- United States (English)
Europe
- Belgium (English)
- Denmark (English)
- Deutschland (Deutsch)
- España (Español)
- Finland (English)
- France (Français)
- Ireland (English)
- Italia (Italiano)
- Luxembourg (English)
- Netherlands (English)
- Norway (English)
- Österreich (Deutsch)
- Portugal (English)
- Sweden (English)
- Switzerland
- United Kingdom (English)