Cette page s'applique à la version précédente. La page correspondante en anglais a été supprimée de la version actuelle.
Exécuter Polyspace as You Code dans des IDE ou des éditeurs sans plugin
Configurer le plugin Polyspace® as You Code pour les exécutions de ligne de commande, déclencher des exécutions de ligne de commande à partir d’IDE et d’éditeurs non supportés
Vous pouvez exécuter Polyspace as You Code directement sur un terminal dans votre système d’exploitation. Si vous êtes en mesure de déclencher des exécutions de ligne de commande et d’afficher la sortie de la console dans votre IDE ou votre éditeur, vous pouvez utiliser Polyspace as You Code dans les IDE ou les éditeurs qui ne sont pas directement supportés par les plugins ou les extensions.
Commandes système
polyspace-bug-finder-access (Polyspace Access) | (Not recommended) Run Polyspace as You Code from Windows, Linux, or other command line |
polyspace-comments-import | (System Command) Import review information from previous Polyspace analysis |
polyspace-configure | (System Command) Create Polyspace Platform project, workspace, or options file from build command or compilation database |
polyspace-results-export | (System Command) Export Polyspace results to external formats such as CSV or JSON |
Rubriques
Utilisation
- Manage Polyspace Access Results and Users at the Command Line (Polyspace Access)
Manage Polyspace Access™ results and users at the command line.
