Paramètres de l’extension de l’IDE Polyspace as You Code
Dans les paramètres de l'extension ou du plugin de votre IDE, vous pouvez spécifier les options généralement requises, telles que le dossier des résultats, les contrôleurs, etc. Consultez ici la liste complète des paramètres de l’extension de l’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.
Rubriques
- Configure Polyspace as You Code Extension in Visual Studio (Polyspace Access)
Set Polyspace as You Code extension settings such as analysis launch mode and build configuration.
- Configure Polyspace as You Code Extension in Visual Studio Code (Polyspace Access)
Set Polyspace as You Code extension settings such as analysis launch mode and build configuration.
- Configure Polyspace as You Code Plugin in Eclipse (Polyspace Access)
Set Polyspace as You Code plugin settings such as analysis launch mode and build configuration.
- Options Files for Polyspace Analysis
Collect all analysis options in a text file for easy sharing across projects.
