Diese Seite ist für die vorige Version. Die entsprechende englische Seite wurde in der aktuellen Version entfernt.

Optionen, die nur über die Befehlszeile auswählbar sind

Optionen, die nur über die Befehlszeile auswählbar sind, und erweiterte Optionen

Diese Analyseoptionen werden in der DOS- oder UNIX^®-Befehlszeile mit der Funktion polyspace-bug-finder verwendet. Wenn Sie einige der erweiterten Einstellungen für ein Projekt in der Benutzeroberfläche verwenden möchten, verwenden Sie die Konfigurationsoption Other.

Polyspace-Optionen

alle erweitern

Grundlegendes

`-author`
`-c`	Specify path of license file used by the product
`-consider-switch-as-single-decision`	Compute cyclomatic complexity assuming a switch-case statement to be a single decision point
`-checkers-activation-file`	Activate custom combination of defects and coding rules for Polyspace Bug Finder analysis
`-date`	Specify date of analysis
`-doc \| -documentation`	Display Polyspace documentation in web browser
`-h \| -help`	Display list of static analysis options on the command line
`-I`
`-import-comments`	Import review information from previous analysis
`-list-all-values`	Display valid option arguments for a given command-line option
`-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`
`-sources-list-file`
`-start-level-from-one`	Start counting the call level or nesting level from one.
`-ver`	Display system information for Polyspace products
`-verif-version`	Assign a source code version identifier to Polyspace Platform project
`-v \| -version`	Display Polyspace version number

Erweitert

`-asm-begin -asm-end`	Exclude compiler-specific `asm` functions from analysis
`-classification`	Control precisely which files to include in Polyspace analysis and how to analyze them (Seit R2023a)
`-code-behavior-specifications`	Associate behaviors with code elements such as functions
`-consider-analysis-perimeter-as-trust-boundary`	Consider the analysis perimeter as trust boundary so that data coming from outside the current analysis perimeter is considered tainted
`-create-checkers`	Create new checkers for Polyspace Bug Finder analysis (Seit R2023b)
`-custom-target`
`-disable-concurrency-detection`	Disable automatic detection of multitasking functions
`-detect-atomic-data-race`	Enable detecting data race with atomic operation
`-detect-bad-float-op-on-zero`	Detect floating point comparison with equality operator when one of the operand is `0.0`
`-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 (Seit R2022a)
`-incremental`	Enable incremental compilation during an analysis (Seit R2022a)
`-max-processes`	Specify maximum number of processes for analysis
`-non-preemptable-tasks`	Specify functions that represent nonpreemptable tasks
`-no-credentials-check`	Disable credential check when running Polyspace Bug Finder or Polyspace Code Prover analysis on a remote cluster
`-options-for-sources`	Specify analysis options specific to a source file
`-preemptable-interrupts`	Specify functions that represent preemptable interrupts
`-pstunit-test`	Option to specify a test the input of which is used for static analysis
`-regex-replace-rgx -regex-replace-fmt`	Make replacements in preprocessor directives
`-submit-job-from-previous-compilation-results`	Specify that the analysis job must be resubmitted without recompilation
`-termination-functions`	Specify process termination functions
`-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