Standard di codifica e metriche del codice

Insiemi di regole di codifica MISRA, AUTOSAR, CERT e JSF, regole di codifica personalizzate, metriche del codice

Per specificare quali standard di codifica si desidera controllare, ad esempio MISRA C™:2012 o AUTOSAR C++14, utilizzare le opzioni degli standard di codifica. Per visualizzare le metriche di complessità del codice nei risultati di analisi, ad esempio la complessità ciclomatica e il numero di funzioni chiamanti o chiamate, utilizzare l'opzione metriche del codice.

Opzioni Polyspace

espandi tutto

Standard di codifica: C

`Controllare MISRA C:2012 (-misra3)`	Check for violations of MISRA C:2012 rules and directives
`Utilizzare i requisiti del codice generato (-misra3-agc-mode)`	Check for violations of MISRA C:2012 rules and directives that apply to generated code
`Controllare MISRA C:2023 (-misra-c-2023)`	Check for violations of MISRA C:2023 rules and directives (Da R2024a)
`Utilizzare i requisiti del codice generato (-misra-c-2023-agc-mode)`	Check for violations of MISRA C:2023 rules and directives that apply to generated code (Da R2024a)
`Tipi booleani efficaci (-boolean-types)`	Specify data types that coding rule checker must treat as effectively Boolean
`Controllare SEI CERT-C (-cert-c)`	Check for violations of CERT C rules and recommendations
`Controllare ISO/IEC TS 17961 (-iso-17961)`	Check for violations of ISO/IEC TS 17961 rules

Standard di codifica: C++

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

Standard di codifica: Tutte

`Impostare i checker per file (-checkers-selection-file)`	Define a custom set of coding standards checks for your analysis
`Controllare CWE (-cwe)`	Check for weaknesses in your code that are enumerated in CWE (Da R2023a)
`Controllare le regole personalizzate (-custom-rules)`	Follow naming conventions for identifiers
`Controllare le linee guida (-guidelines)`	Check for violations of Guidelines (Da R2021a)
`Pragma consentiti (-allowed-pragmas)`	Specify pragma directives that are documented

Metriche del codice

Calcolare le metriche del codice (-code-metrics) Compute and display code complexity metrics

Comandi di sistema

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

Argomenti

Come iniziare

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.

Regole MISRA o 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.

Metriche di complessità del codice

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.

Standard di codifica definiti dall'utente

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.

Modifica del comportamento del checker

Modify Default Behavior of Bug Finder Checkers

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

Informazioni complementari

Standard di codifica
Metriche del codice