Analizar una compilación en Polyspace as You Code
Polyspace as You Code comprueba el archivo que está activo actualmente en el IDE o editor de código en busca de bugs e infracciones de los estándares de codificación.
Para que el análisis se ejecute sin errores, proporcione a Polyspace as You Code las especificaciones de la configuración de compilación, como los tamaños del tipo de datos y las definiciones de macros del compilador. Para proporcionar información de la configuración de compilación, puede:
Configurar Polyspace as You Code para extraer la información de configuración de compilación del proyecto de IDE, el comando de compilación o la base de datos de compilación JSON.
Especificar opciones de análisis que emulen la configuración de compilación en un archivo de opciones. Consulte Options Files for Polyspace Analysis.
Importar las opciones de análisis desde un archivo de proyecto de un producto de escritorio de Polyspace.
Temas
- Generate Build Options for Polyspace as You Code Analysis in Visual Studio (Polyspace Access)
Extract build configuration information from solution, build command, or JSON compilation database.
- Generate Build Options for Polyspace as You Code Analysis in Visual Studio Code (Polyspace Access)
Extract build configuration information from build task, build command, or JSON compilation database.
- Generate Build Options for Polyspace as You Code Analysis in Eclipse (Polyspace Access)
Extract build configuration information from project, build command, or JSON compilation database.
- Generate Build Options for Polyspace as You Code Analysis at the Command Line (Polyspace Access)
Extract build configuration information from build command or JSON compilation database.
