La traduction de cette page n'est pas à jour. Cliquez ici pour voir la dernière version en anglais.

Normes de codage et métriques de code

Ensembles de règles de codage MISRA, AUTOSAR, CERT et JSF, règles de codage personnalisées, métriques de code

Pour spécifier les normes de codage à vérifier, par exemple MISRA C™:2012 ou AUTOSAR C++14, utilisez les options de normes de codage. Pour afficher les métriques de complexité du code dans vos résultats d'analyse, par exemple, la complexité cyclomatique et le nombre de fonctions appelantes ou appelées, utilisez l'option de métriques de code.

Options Polyspace

développer tout

Normes de codage : C

`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
`Check MISRA C:2023 (-misra-c-2023)`	Check for violations of MISRA C:2023 rules and directives (depuis R2024a)
`Use generated code requirements (-misra-c-2023-agc-mode)`	Check for violations of MISRA C:2023 rules and directives that apply to generated code (depuis R2024a)
`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

Normes de codage : C++

`Check MISRA C++:2023 (-misra-cpp-2023)`	Check for violations of MISRA C++:2023 rules and directives (depuis R2024b)
`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

Normes de codage : Tous

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

Métriques de code

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

Commandes système

polyspace-catalog-bundler (System Command) Create user-defined Polyspace coding standards at the DOS or UNIX command line

Rubriques

Pour commencer

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

Règles MISRA ou JSF

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.

Métriques de complexité du code

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.

Normes de codage définies par l’utilisateur

Find Polyspace Bug Finder Checkers That Map to Coding Rules in User-Defined Coding Standard
Find Bug Finder checkers that can check for the coding rules in your user-defined coding rule standard.
Create User-Defined Coding Standard by Using Polyspace Bug Finder Checkers
Map Bug Finder checkers to coding rules in a user-defined coding standard in a sharable .pschk file.

Modifier le comportement des contrôleurs

Modify Default Behavior of Bug Finder Checkers

Extend or constrain the default behavior of defect or coding standard checkers using Polyspace analysis options.

Informations connexes

Normes de codage
Métriques de code