이 페이지의 내용은 이전 릴리스에 관한 것입니다. 해당 영문 페이지는 최신 릴리스에서 제거되었습니다.

Command-Line Only Options

Command-line only options, advanced options

These analysis options are used at the DOS or UNIX^® command-line with the function polyspace-bug-finder. If you want to use some the advanced settings with a project in the user interface, use the Other configuration option.

Polyspace 옵션

모두 확장

Basic

`-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

Advanced

`-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 (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 (R2023b 이후)
`-custom-target`
`-disable-concurrency-detection`	Disable automatic detection of multitasking functions
`-detect-atomic-data-race`	Enable detecting data race with atomic operation
`-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 (R2022a 이후)
`-incremental`	Enable incremental compilation during an analysis (R2022a 이후)
`-max-processes`	Specify maximum number of processes for analysis
`-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
`-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
`-xml-annotations-description`	Apply custom code annotations to Polyspace analysis results