Inputs and Stubbing

Specify ranges for global variables and functions

To specify local assumptions, use the inputs and stubbing options. For instance, you can constrain ranges of some variables from external sources, stub some imprecisely-analyzed functions for more precise analysis or suppress coding rule violations from some files. The assumptions help narrow down the focus of your review to analysis results that are more meaningful. For global assumptions that apply to a certain code construct in all files and functions, use the Verification Assumptions options.

Analysis Options

expand all

Inputs

`Constraint setup (-data-range-specifications)`	Constrain global variables, function inputs and return values of stubbed functions
`Ignore default initialization of global variables (-no-def-init-glob)`	Consider global variables as uninitialized unless explicitly initialized in code

Stubbing

`No STL stubs (-no-stl-stubs)`	Do not use Polyspace implementations of functions in the Standard Template Library
`Functions to stub (-functions-to-stub)`	Specify functions to stub during analysis
`Generate stubs for Embedded Coder lookup tables (-stub-embedded-coder-lookup-table-functions)`	Stub autogenerated functions that use lookup tables and model them more precisely
`Libraries used (-library)`	Specify libraries that you use in your program

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

Topics

Specify Polyspace Analysis Options

Specify Polyspace^® analysis options in Polyspace user interface, other IDE-s or scripts.

Specify External Constraints

Constrain variable ranges and pointer specifications for more precise 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 Constraints

Provide Context for C Code Verification

Learn what external context you can provide to narrow down the default verification assumptions.

Provide Context for C++ Code Verification