Contenu principal

La traduction de cette page n'est pas à jour. Cliquez ici pour voir la dernière version en anglais.

Analyse de la version dans Polyspace as You Code

Analyser la version du code source et rassembler les informations de compilation en vue des exécutions ultérieures de Polyspace® as You Code

Polyspace as You Code vérifie le fichier actif dans votre IDE ou votre éditeur de code afin de détecter les bugs et infractions aux normes de codage.

Pour que l'analyse s’exécute sans erreur, indiquez à Polyspace as You Code les spécificités de configuration de votre version, telles que la taille des types de données et les définitions des macros du compilateur. Pour fournir les informations de configuration de votre version, vous pouvez :

  • Configurer Polyspace as You Code de manière à extraire les informations de configuration de la version de votre projet IDE, de la commande de création ou de la base de données de compilation JSON.

  • Spécifier des options d'analyse qui émulent la configuration de votre version dans un fichier d'options. Consultez Options Files for Polyspace Analysis.

  • Importer les options d'analyse à partir d'un fichier de projet de produit Polyspace pour desktop.

Rubriques