You can specify analysis engine options to modify the default behavior of Polyspace as You Code. Most common options such as checkers are also available through IDE extension settings. If you cannot find a setting in your IDE extension to tune the analysis, look for an analysis engine option and specify the option in an options file. See Options Files for Polyspace Analysis.
For command-line runs with polyspace-bug-finder-access, you can
specify the options directly at the command line or
in an options file.