Other

Specify additional command-line flags for static analysis

Description

This option is useful only if you run an analysis in the user interface of the Polyspace® desktop products.

Enter command-line-style flags such as -max-processes or -tmp-dir-in-results-dir.

Set Option

Set the option using one of these methods:

  • Polyspace user interface (desktop products only): In your project configuration, enter a command-line-style flag for this option on the Advanced Settings node.

    Enter command-line name of option in Other field.

  • Polyspace Platform user interface (desktop products only): In your project configuration, on the Static Analysis tab, select the Advanced node and then enter a command-line-style flag for this option.

Why Use This Option

Use this option to add nonofficial or command-line only options to the analyzer.

Nonofficial options are undocumented options that MathWorks® Technical Support might provide you to work around specific issues. Sometimes, the options and their arguments have to be preceded by the option -extra-flags (that is, you have to enter -extra-flags option_param). When providing you the option, Technical Support will let you know if the option -extra-flags is required.

The options you specify in this field are put into an options file which is then passed to the analysis as an input to the option -options-file. If you need to add several command-line or nonofficial options in this field, save these options into a reusable options file.

You configure some options, such as the results directory or importing comments, in the Preferences window of Polyspace Platform user interface. If you configure these options again by using command-line options in the Other field, the command line inputs are disregarded and the input from the user interface is used in the analysis. For example, say you specify a folder foo as the Parent results folder location. Then you specify a different folder bar as the input -results-dir in the Other field. Polyspace disregards the command line input and saves the results in foo.

Settings

No Default

Enter one or more command-line style flag. You can enter multiple options in this field. If you enter the same option multiple times with different arguments, the analysis uses your last argument.

Command-Line Information

Enter the options directly in the command-line or in the options file

See Also

Topics