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

-authorSpecify project author
-cSpecify path of license file used by the product
-dateSpecify date of analysis
-doc | -documentationDisplay Polyspace documentation in web browser
-h | -helpDisplay list of possible options
-ISpecify include folder for compilation
-import-commentsImport review information from previous analysis
-list-all-valuesDisplay valid option arguments for a given command-line option
-options-fileRun Polyspace using list of options
-progSpecify name of project
-report-output-nameSpecify name of report
-results-dirSpecify the results folder
-schedulerSpecify cluster or job scheduler
-sourcesSpecify source files
-sources-list-fileSpecify file containing list of sources
-verDisplay system information for Polyspace products
-verif-versionAssign a version identifier
-v | -versionDisplay Polyspace version number
-asm-begin -asm-endExclude compiler-specific asm functions from analysis
-code-behavior-specificationsAssociate behaviors with code elements such as functions
-consider-external-array-access-unsafeRemove the default assumption that external arrays of unspecified size can be safely accessed at any index
-custom-targetCreate a custom target processor with specific data type sizes
-classificationControl precisely which files to include in Polyspace analysis and how to analyze them (Since R2025a)
-dump-preprocessing-infoShow all macros implicitly defined during a particular analysis
-ignore-code-annotationsIgnore C/C++ code annotations justifying Polyspace results and show all results as unreviewed (Since R2022a)
-improve-pointer-analysis-precisionEnable more precise pointer analysis mode in Code Prover (Since R2022a)
-main-generator-bounded-loopGenerate a main that calls functions in a loop with a specific number of iterations (Since R2022a)
-max-processesSpecify maximum number of processors for analysis
-no-assumption-on-absolute-addressesRemove assumption that absolute address usage is valid
-no-credentials-checkDisable credential check when running Polyspace Bug Finder or Polyspace Code Prover analysis on a remote cluster
-non-preemptable-tasksSpecify functions that represent nonpreemptable tasks
-options-for-sourcesSpecify analysis options specific to a source file
-preemptable-interruptsSpecify functions that represent preemptable interrupts
-pstunit-testOption to specify a test the input of which is used for static analysis
-regex-replace-rgx -regex-replace-fmtMake replacements in preprocessor directives
-show-similar-overflowsShow all overflows in wrap-around mode (Since R2020b)
-submit-job-from-previous-compilation-resultsSpecify that the analysis job must be resubmitted without recompilation
-tmp-dir-in-results-dirKeep temporary files in results folder
-wchar-t-isSpecify the nature of type specifier wchar_t for your compiler
-xml-annotations-descriptionApply custom code annotations to Polyspace analysis results