Cette page s'applique à la version précédente. La page correspondante en anglais a été supprimée de la version actuelle.

Paramètres avancés

Commandes post-analyse, scripts, options non officielles

Pour spécifier des commandes ou des scripts qui peuvent être exécutés après la vérification, ou pour spécifier des options de ligne de commande uniquement dans l'interface utilisateur Polyspace®, utilisez les options avancées.

Options Polyspace

développer tout

Command/script to apply after the end of the code verification (-post-analysis-command)Specify command or script to be executed after analysis
AutreSpecify additional command-line flags for static analysis

Rubriques