Cette page s'applique à la version précédente. La page correspondante en anglais a été supprimée de la version actuelle.
Exécuter Polyspace as You Code dans Visual Studio et afficher les résultats
R2025bCes thèmes indiquent comment exécuter une analyse de fichier unique dans l’IDE Visual Studio avec Polyspace as You Code. Pour les produits Polyspace pour desktop du type Polyspace Bug Finder™, consultez .
Visual Studio, associé à l'extension Polyspace as You Code, vous permet d’exécuter une analyse de fichier unique à l’enregistrement du fichier ou explicitement. L'analyse vérifie si le fichier actif présente des défauts (bugs), des infractions aux normes de codage et d'autres problèmes. Les résultats de l'analyse apparaissent sous forme de marqueurs de code source et dans une liste séparée.
Rubriques
Utilisation
- Run Polyspace as You Code in Visual Studio and Review Results (Polyspace as You Code)
View Polyspace results as source code markers or in a list in Visual Studio IDE, fix issues, or justify results. - Annotate Code and Hide Known or Acceptable Results
Look up the Polyspace code annotation syntax for justifying known issues.
Installation et configuration
- Install Polyspace as You Code (Polyspace as You Code)
Install Polyspace as You Code™ analysis engine.
- Visual Studio: Install Polyspace as You Code Extension (Polyspace as You Code)
- Visual Studio: Configure Polyspace as You Code Extension (Polyspace as You Code)
Set Polyspace as You Code extension settings in Visual Studio such as analysis launch mode and build configuration.
- 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: Configure Checkers and Coding Rules in Polyspace as You Code (Polyspace as You Code)
Create, modify, or import selection of Polyspace defect checkers and coding rule violations in Visual Studio.
- Analysis Scope of Polyspace as You Code (Polyspace as You Code)
- Visual Studio: Configure Baseline Results in Polyspace as You Code (Polyspace as You Code)
Create a result baseline in Visual Studio to help focus Polyspace as You Code review on new Polyspace results and compare against the baseline results.
