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.