Cette page s'applique à la version précédente. La page correspondante en anglais a été supprimée de la version actuelle.
Analyse de la version dans Polyspace as You Code
R2025bPolyspace 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
- Visual Studio: Generate Build Options for Polyspace as You Code (Polyspace as You Code)
Extract build configuration information from solution, build command, or JSON compilation database.
- Visual Studio Code: Generate Build Options for Polyspace as You Code (Polyspace as You Code)
Extract build configuration information from build task, build command, or JSON compilation database.
- Eclipse: Generate Build Options for Polyspace as You Code (Polyspace as You Code)
Extract build configuration information from project, build command, or JSON compilation database.
- Command Line: Generate Build Options for Polyspace as You Code Analysis (Polyspace as You Code)
Extract build configuration information from build command or JSON compilation database.
