Inputs and Stubbing

Specify ranges for global variables and functions

To specify constraints on ranges of some variables from external sources or suppress defects and coding rule violations from some files, use the inputs and stubbing options.

Polyspace 옵션

모두 확장

Inputs

Constraint setup (-data-range-specifications) Constrain global variables, function inputs and return values of stubbed functions

Stubbing

`Functions to stub (-functions-to-stub)`	Specify functions to stub during analysis
`Libraries used (-library)`	Specify libraries that you use in your program (R2021a 이후)

Filtering

`Generate results for sources and (-generate-results-for)`	Specify files on which you want analysis results
`Do not generate results for (-do-not-generate-results-for)`	Specify files on which you do not want analysis results

Advanced Options

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

도움말 항목

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