Options at Command Line Only

Descriptions of options available only at command line

An option on the command line corresponds directly to an option on the Configuration pane in the user interface. The options below are exceptions to this rule. The basic options correspond to menu items and fields elsewhere in the user interface. The advanced options do not appear in the user interface. On the Configuration pane, you have to specify the command-line form of these options in the field Other.

Polyspace Options

expand all

Basic

`-author`	Specify project author
`-c`	Specify path of license file used by the product
`-date`	Specify date of analysis
`-doc \| -documentation`	Display Polyspace documentation in web browser
`-h \| -help`	Display list of possible options
`-I`	Specify include folder for compilation
`-import-comments`	Import review information from previous analysis
`-list-all-values`	Display valid option arguments for a given command-line option (Since R2020a)
`-options-file`	Run Polyspace using list of options
`-prog`	Specify name of project
`-report-output-name`	Specify name of report
`-results-dir`	Specify the results folder
`-scheduler`	Specify cluster or job scheduler
`-sources`	Specify source files
`-sources-list-file`	Specify file containing list of sources
`-ver`	Display system information for Polyspace products
`-verif-version`	Assign a version identifier
`-v \| -version`	Display Polyspace version number

Advanced

`-asm-begin -asm-end`	Exclude compiler-specific `asm` functions from analysis
`-code-behavior-specifications`	Associate behaviors with code elements such as functions
`-consider-external-array-access-unsafe`	Remove the default assumption that external arrays of unspecified size can be safely accessed at any index
`-custom-target`	Create a custom target processor with specific data type sizes
`-dump-preprocessing-info`	Show all macros implicitly defined during a particular analysis
`-ignore-code-annotations`	Ignore C/C++ code annotations justifying Polyspace results and show all results as unreviewed (Since R2022a)
`-improve-pointer-analysis-precision`	Enable more precise pointer analysis mode in Code Prover (Since R2022a)
`-main-generator-bounded-loop`	Generate a `main` that calls functions in a loop with a specific number of iterations (Since R2022a)
`-max-processes`	Specify maximum number of processors for analysis
`-no-assumption-on-absolute-addresses`	Remove assumption that absolute address usage is valid
`-no-credentials-check`	Disable credential check when running Polyspace Bug Finder or Polyspace Code Prover analysis on a remote cluster
`-non-preemptable-tasks`	Specify functions that represent nonpreemptable tasks
`-options-for-sources`	Specify analysis options specific to a source file
`-preemptable-interrupts`	Specify functions that represent preemptable interrupts
`-regex-replace-rgx -regex-replace-fmt`	Make replacements in preprocessor directives
`-show-similar-overflows`	Show all overflows in wrap-around mode (Since R2020b)
`-submit-job-from-previous-compilation-results`	Specify that the analysis job must be resubmitted without recompilation
`-tmp-dir-in-results-dir`	Keep temporary files in results folder
`-wchar-t-is`	Specify the nature of type specifier `wchar_t` for your compiler
`-xml-annotations-description`	Apply custom code annotations to Polyspace analysis results