Coding Standards & Code Metrics
Use Polyspace® Code Prover™ to calculate the stack usage metrics of your code. To check for violation of coding rules and to calculate code complexity metrics, use Polyspace Bug Finder™
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.
Polyspace Options
Topics
Migrate to Bug Finder
- Migrate Code Prover Workflows for Checking Coding Standards and Code Metrics to Bug Finder
Use Bug Finder instead of Code Prover to check compliance with various coding standards, naming conventions, and code complexity standards. Calculate code metrics by using Bug Finder. - Coding Standards and Code Metrics
MISRA, AUTOSAR, CERT, and JSF coding rule sets, custom coding rules, code metrics
Related Information
Select a Web Site
Choose a web site to get translated content where available and see local events and offers. Based on your location, we recommend that you select: United States.
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)