Options de ligne de commande uniquement
Ces options d'analyse sont utilisées sur la ligne de commande DOS ou UNIX® avec la fonction polyspace-bug-finder
. Si vous souhaitez utiliser certains paramètres avancés avec un projet dans l'interface utilisateur, utilisez l'option de configuration Other
.
Options Polyspace
-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 (depuis 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 (depuis 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 (depuis 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 (depuis R2022a) |
-incremental | Enable incremental compilation during an analysis (depuis 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.
Sélectionner un site web
Choisissez un site web pour accéder au contenu traduit dans votre langue (lorsqu'il est disponible) et voir les événements et les offres locales. D’après votre position, nous vous recommandons de sélectionner la région suivante : .
Vous pouvez également sélectionner un site web dans la liste suivante :
Comment optimiser les performances du site
Pour optimiser les performances du site, sélectionnez la région Chine (en chinois ou en anglais). Les sites de MathWorks pour les autres pays ne sont pas optimisés pour les visites provenant de votre région.
Amériques
- América Latina (Español)
- Canada (English)
- United States (English)
Europe
- 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)