Main Content
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
Code Prover no longer supports 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)
Asia Pacific
- Australia (English)
- India (English)
- New Zealand (English)
- 中国
- 日本Japanese (日本語)
- 한국Korean (한국어)