Esta página es para la versión anterior. La página correspondiente en inglés ha sido eliminada en la versión actual.
Configuración de la extensión del IDE de Polyspace as You Code
R2025bEn la configuración de la extensión o del complemento del IDE, puede especificar las opciones que se suelen requerir, como la carpeta de resultados, los comprobadores, etc. Consulte la lista completa de configuraciones de extensiones del IDE aquí.
Si no puede encontrar una configuración en la extensión del IDE para ajustar el análisis, busque una opción del motor de análisis y especifique la opción en un archivo de opciones. Después, especifique el archivo de opciones en la configuración de la extensión del IDE.
Temas
- 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 Code: Configure Polyspace as You Code Extension (Polyspace as You Code)
Set Polyspace as You Code extension settings in Visual Studio Code such as analysis launch mode and build configuration.
- Eclipse: Configure Polyspace as You Code Plugin (Polyspace as You Code)
Set Polyspace as You Code plugin settings in Eclipse™ 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.
