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
Categories
-
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