Die Übersetzung dieser Seite ist veraltet. Klicken Sie hier, um die neueste Version auf Englisch zu sehen.

Codierungsstandards und Code-Metriken

MISRA-, AUTOSAR-, CERT- und JSF-Codierungsregeln, benutzerdefinierte Codierungsregeln, Code-Metriken

Verwenden Sie die Optionen für den Codierungsstandard, um anzugeben, welche Codierungsstandards Sie prüfen möchten, z. B., MISRA C™: 2012 oder AUTOSAR C++14. Verwenden Sie die Option Code-Metriken, wenn Sie in Ihren Analyseergebnissen Metriken zur Codekomplexität sehen möchten, z. B. die zyklomatische Komplexität und die Anzahl der aufrufenden oder aufgerufenen Funktionen.

Polyspace-Optionen

alle erweitern

Codierungsstandards: C

`MISRA C:2012 überprüfen (-misra3)`	Check for violations of MISRA C:2012 rules and directives
`Anforderungen für generierten Code nutzen (-misra3-agc-mode)`	Check for violations of MISRA C:2012 rules and directives that apply to generated code
`MISRA C:2023 überprüfen (-misra-c-2023)`	Check for violations of MISRA C:2023 rules and directives (Seit R2024a)
`Anforderungen für generierten Code nutzen (-misra-c-2023-agc-mode)`	Check for violations of MISRA C:2023 rules and directives that apply to generated code (Seit R2024a)
`Effektive Bool-Typen (-boolean-types)`	Specify data types that coding rule checker must treat as effectively Boolean
`SEI CERT-C überprüfen (-cert-c)`	Check for violations of CERT C rules and recommendations
`ISO/IEC TS 17961 überprüfen (-iso-17961)`	Check for violations of ISO/IEC TS 17961 rules

Codierungsstandards: C++

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

Codierungsstandards: Alle

`Checker je Datei festlegen (-checkers-selection-file)`	Define a custom set of coding standards checks for your analysis
`CWE überprüfen (-cwe)`	Check for weaknesses in your code that are enumerated in CWE (Seit R2023a)
`Eigene Regeln überprüfen (-custom-rules)`	Follow naming conventions for identifiers
`Guidelines überprüfen (-guidelines)`	Check for violations of Guidelines (Seit R2021a)
`Erlaubte Pragmas (-allowed-pragmas)`	Specify pragma directives that are documented

Code-Metriken

Code-Metriken berechnen (-code-metrics) Compute and display code complexity metrics

Systembefehle

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

Themen

Erste Schritte

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.

MISRA- oder JSF-Regeln

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.

Metriken zur Code-Komplexität

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.

Benutzerdefinierte Codierungsstandards

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.

Ändern des Verhaltens von Checkern

Modify Default Behavior of Bug Finder Checkers

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