Coding Standards & Code Metrics

MISRA, AUTOSAR, CERT, and JSF coding rule sets, custom coding rules, code metrics

To specify which coding standards you want to check, for instance, MISRA C^®:2012 or AUTOSAR C++14, use the coding standard options. To see code complexity metrics in your analysis results, for instance, cyclomatic complexity and number of calling or called functions, use the code metrics option.

Analysis Options

expand all

Coding Standards: C

`Check MISRA C:2004 (-misra2)`	Check for violation of MISRA C:2004 rules
`Check MISRA AC AGC (-misra-ac-agc)`	Check for violation of MISRA AC AGC rules
`Check MISRA C:2012 (-misra3)`	Check for violations of MISRA C:2012 rules and directives
`Use generated code requirements (-misra3-agc-mode)`	Check for violations of MISRA C:2012 rules and directives that apply to generated code
`Effective boolean types (-boolean-types)`	Specify data types that coding rule checker must treat as effectively Boolean
`Check SEI CERT-C (-cert-c)`	Check for violations of CERT C rules and recommendations
`Check ISO/IEC TS 17961 (-iso-17961)`	Check for violations of ISO/IEC TS 17961 rules

Coding Standards: C++

`Check MISRA C++:2008 (-misra-cpp)`	Check for violations of MISRA C++ rules
`Check JSF AV C++ (-jsf-coding-rules)`	Check for violations of JSF C++ rules
`Check AUTOSAR C++14 (-autosar-cpp14)`	Check for violations of AUTOSAR C++ 14 rules
`Check SEI CERT-C++ (-cert-cpp)`	Check for violations of CERT C++ rules

Coding Standards: All

`Set checkers by file (-checkers-selection-file)`	Define a custom set of coding standards checks for your analysis
`Check custom rules (-custom-rules)`	Follow naming conventions for identifiers
`Check Guidelines (-guidelines)`	Check for violations of Guidelines
`Allowed pragmas (-allowed-pragmas)`	Specify pragma directives that are documented

Code Metrics

Calculate code metrics (-code-metrics) Compute and display code complexity metrics

Topics

Getting Started

Specify Polyspace Analysis Options

Specify Polyspace^® analysis options in Polyspace user interface, other IDE-s or scripts.

Check for Coding Standard Violations

Check for violations of AUTOSAR C++14, CERT^® C, CERT C++MISRA C, MISRA^® C++, JSF AV C++, or ISO-17961 standard with Bug Finder or Code Prover.

Create Custom Coding Rules

Enforce naming conventions and other style guidelines on C/C++ code with Polyspace.

Reduce Software Complexity by Using Polyspace Checkers

Enable and configure the software complexity checkers to identify issues that make your code difficult to read, understand, and debug.

MISRA or JSF Rules

Avoid Violations of MISRA C:2012 Rules 8.x

Avoid conflicting declarations or unintended modification of variables.

Coding Rule Subsets Checked Early in Analysis

Learn how to adjust your coding rules checking for a faster analysis.

Code Complexity Metrics

Compute Code Complexity Metrics

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.

Documentation