Contenu principal

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)(System Command) 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 project from your build system at the DOS or UNIX command line
polyspace-results-export(System Command) Export Polyspace results to external formats such as CSV or JSON

Rubriques

Utilisation

Installation et configuration