Optionen, die nur über die Befehlszeile auswählbar sind
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
-author | Specify project 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 a custom combination of defects and coding rules for a Polyspace Bug Finder analysis (Seit R2021a) |
-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 |
-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 |
-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 version identifier |
-v | -version | Display Polyspace version number |
-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 | Create a custom target processor with specific data type sizes |
-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 processors 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 |
MATLAB Command
You clicked a link that corresponds to this MATLAB command:
Run the command by entering it in the MATLAB Command Window. Web browsers do not support MATLAB commands.
Website auswählen
Wählen Sie eine Website aus, um übersetzte Inhalte (sofern verfügbar) sowie lokale Veranstaltungen und Angebote anzuzeigen. Auf der Grundlage Ihres Standorts empfehlen wir Ihnen die folgende Auswahl: .
Sie können auch eine Website aus der folgenden Liste auswählen:
So erhalten Sie die bestmögliche Leistung auf der Website
Wählen Sie für die bestmögliche Website-Leistung die Website für China (auf Chinesisch oder Englisch). Andere landesspezifische Websites von MathWorks sind für Besuche von Ihrem Standort aus nicht optimiert.
Amerika
- América Latina (Español)
- Canada (English)
- United States (English)
Europa
- Belgium (English)
- Denmark (English)
- Deutschland (Deutsch)
- España (Español)
- Finland (English)
- France (Français)
- Ireland (English)
- Italia (Italiano)
- Luxembourg (English)
- Netherlands (English)
- Norway (English)
- Österreich (Deutsch)
- Portugal (English)
- Sweden (English)
- Switzerland
- United Kingdom (English)