Configurer une analyse Polyspace dans des IDE

Vérifier le code C/C++ pour détecter les défauts dans des IDE tels que Eclipse™, Visual Studio® et Visual Studio Code

Vous pouvez spécifier des options d’analyse pour modifier le comportement par défaut de Polyspace® as You Code. Les options communes telles que les contrôleurs sont disponibles dans les paramètres d'extension des IDE. Si vous ne trouvez pas de paramètre dans l'extension de votre IDE pour ajuster l'analyse, recherchez une option du moteur d'analyse et spécifiez-la dans un fichier d'options. Spécifiez ensuite le fichier d'options dans les paramètres de l'extension de votre IDE.

Les opérations de configuration les plus courantes sont l'analyse de la version, la configuration des contrôleurs et les paramètres de la base de référence. Pour chacune de ces opérations, spécifiez le paramètre de l'extension de l’IDE approprié, puis effectuez une étape supplémentaire avant d'exécuter Polyspace as You Code. Par exemple :

  • Analyse de la version : dans les paramètres de votre IDE, indiquez où obtenir les informations de version, puis exécutez une analyse de compilation avant les exécutions réelles.

  • Configuration des contrôleurs : avant d'exécuter Polyspace as You Code, spécifiez les contrôleurs dans une fenêtre de sélection des contrôleurs et enregistrez-les dans un fichier de configuration. Dans les paramètres de votre IDE, spécifiez le chemin de ce fichier.

  • Paramètres de la base de référence : dans les paramètres de votre IDE, spécifiez le projet Polyspace Access™ à utiliser en guise de base de référence, puis téléchargez les informations de la base de référence avant les exécutions réelles.

Catégories

Informations connexes