Coding Standards

Description and examples of coding rules checkers

Polyspace^® Bug Finder™ can check your code against several different coding rule sets and custom coding rules. To begin checking for coding rules, see Check for and Review Coding Standard Violations. To check the extent of Polyspace coverage for different standards, see Polyspace Support for Coding Standards.

Check Compliance with Coding Standards

MISRA C:2004 Rules
List and description of MISRA C™:2004 guidelines supported by Polyspace
MISRA C:2012 Directives and Rules
List and description of MISRA C:2012 coding guidelines supported by Polyspace
MISRA C:2023 Directives and Rules
List and description of MISRA™ C:2023 directives and rules that are supported by Polyspace
CERT C Rules and Recommendations
List and description of CERT C standard rules and recommendations supported by Polyspace
ISO/IEC TS 17961 Rules
List and description of ISO/IEC TS 17961 security standard rules supported by Polyspace
MISRA C++:2008 Rules
List and description of MISRA C++:2008 guidelines supported in Polyspace
MISRA C++:2023 Rules and Directives
List and description of MISRA C++:2023 rules and directives
JSF C++ Rules
List and description of JSF^® C++ guidelines supported in Polyspace
AUTOSAR C++14 Rules
List and description of AUTOSAR C++14 rules supported by Polyspace
CERT C++ Rules
List and description of CERT C++ standard rules supported by Polyspace
Common Weakness Enumeration (CWE)
List and description of CWE security standard rules supported by Polyspace
Custom Coding Rules
List and description of custom naming convention rules
Guidelines
List and description of guideline checkers