Eingaben und Stubbing

Angeben von Bereichen für globale Variablen und Funktionen

Um Einschränkungen für Bereiche einiger Variablen aus externen Quellen anzugeben oder Defekte und Verstöße gegen Codierungsregeln aus einigen Dateien zu unterdrücken, verwenden Sie die Eingabe- und Stubbing-Optionen.

Polyspace-Optionen

alle erweitern

Eingaben

Beschränkungen ewinstellen (-data-range-specifications) Constrain global variables, function inputs and return values of stubbed functions

Stubbing

`Funktionen für Stubbing (-functions-to-stub)`	Specify functions to stub during analysis
`Benutzte Bibliotheken (-library)`	Specify libraries that you use in your program (Seit R2021a)

Filtern

`Ergebnisse generieren (-generate-results-for)`	Specify files on which you want analysis results
`Keine Ergebnisse geniereren (-do-not-generate-results-for)`	Specify files on which you do not want analysis results

Erweiterte Optionen

-classification Control precisely which files to include in Polyspace analysis and how to analyze them (Seit R2023a)

Themen

Specify Polyspace Analysis Options
Specify Polyspace^® analysis options in Polyspace user interface, other IDE-s or scripts.
Specify External Constraints for Polyspace Analysis

Constrain variable ranges and pointer specifications for more precise analysis.
- Constrain Function Inputs for Polyspace Analysis
External Constraints for Polyspace Analysis

Look up constraints that you can apply on global variables, function inputs and stubbed functions.
- XML File Format for Polyspace Analysis Constraints