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 Options

expand all

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 (Since 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 Bug Finder analysis and how to analyze them (Since R2023a)

Topics

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