Liste complète d’options du moteur d’analyse Polyspace Bug Finder

Lorsque vous utilisez Polyspace, vous voudrez peut-être modifier certaines options d'analyse par défaut. Vous pouvez modifier les options afin de contourner les problèmes de compilation, de spécifier des contrôleurs supplémentaires, de définir des règles à partir des normes de codage, de générer des rapports, etc. Les options sont organisées ici en fonction des groupes du volet Configuration de l'interface utilisateur des produits Polyspace pour desktop.

Vous pouvez spécifier des options d'analyse au moyen de l'interface utilisateur Polyspace pour desktop, de l'interface de ligne de commande Polyspace ou d’un fichier d'options.

• Interface utilisateur Polyspace : pour modifier les options d'analyse d'un module de projet, dans Project Browser, sélectionnez le nœud Configuration du module. Dans le volet Configuration, modifiez les options en fonction des besoins. Consultez Run Static Analysis in Polyspace User Interface.

• Ligne de commande : pour spécifier des options d'analyse lors de l'exécution d'analyses Polyspace à partir de la ligne de commande, ajoutez les options à polyspace-bug-finder ou à polyspace-bug-finder-server. Consultez Run Polyspace Analysis from Command Line.

• Fichier d’options : un fichier d'options est un fichier texte dont chaque ligne contient une paire option-valeur. Au lieu d’énumérer explicitement de nombreuses options, vous pouvez spécifier un fichier d'options sur la ligne de commande sous la forme d’une valeur associée à l'option -options-file. Consultez Options Files for Polyspace Analysis.

Pour plus d'informations sur les paramètres spécifiques à l'IDE disponibles avec les plugins ou extensions Polyspace as You Code, consultez Configurer une analyse Polyspace dans des IDE.