Coding Standards & Code Metrics

Migrate your workflow to Bug Finder. Use Bug Finder to check coding rules, specify custom rules, and generate code complexity 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

expand all

Code Metrics

Calculate stack usage (-stack-usage) Compute and display the estimates of stack usage (Since R2022a)

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

Getting Started

Specify Polyspace Analysis Options
Specify Polyspace analysis options in Polyspace user interface, other IDE-s or scripts.
Check for and Review Coding Standard Violations
Check for violations of AUTOSAR C++14, CERT^® C, CERT C++, CWE, MISRA C™, MISRA™ C++, JSF AV C++, or ISO-17961 standards with Polyspace Bug Finder.
Enforce Naming Conventions for C/C++ Variables and Functions
Enforce naming conventions and other style guidelines on C/C++ code with Polyspace.

MISRA or JSF Rules

Avoid Violations of MISRA C Rules 8.x
Avoid conflicting declarations or unintended modification of variables.
Coding Rule Subsets Checked Early in Analysis
Adjust your coding rules checking for a faster analysis.

Code Complexity Metrics

Compute Code Complexity Metrics Using Polyspace
Enforce limits on code complexity metrics such as cyclomatic complexity and depth of nesting.
HIS Code Complexity Metrics
See which code complexity metrics supported in Polyspace are part of the Hersteller Initiative Software (HIS) standard.

Related Information

Coding Standards
Code Metrics