Run Settings

Remote analysis, results repository

To specify that the Bug Finder analysis must be performed on a remote server or must produce results faster than the regular analysis mode, use the run settings option.

Polyspace Options

`Run Bug Finder or Code Prover analysis on a remote cluster (-batch)`	Enable batch remote analysis
`Use fast analysis mode for Bug Finder (-fast-analysis)`	Run analysis using faster local mode

Topics

Specify Polyspace Analysis Options
Specify Polyspace^® analysis options in Polyspace user interface, other IDE-s or scripts.
Bug Finder Results Found in Fast Analysis Mode
Learn about the subset of defects and coding rules that Bug Finder checks in fast analysis mode.
Send Polyspace Analysis from Desktop to Remote Servers Using Scripts
Send Polyspace analysis jobs to a remote server by using batch files (.bat) or shell scripts (.sh).