Esta página es para la versión anterior. La página correspondiente en inglés ha sido eliminada en la versión actual.
Analizar una compilación en Polyspace as You Code
R2025bPolyspace 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
- 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 Code: Generate Build Options for Polyspace as You Code (Polyspace as You Code)
Extract build configuration information from build task, build command, or JSON compilation database.
- Eclipse: Generate Build Options for Polyspace as You Code (Polyspace as You Code)
Extract build configuration information from project, build command, or JSON compilation database.
- Command Line: Generate Build Options for Polyspace as You Code Analysis (Polyspace as You Code)
Extract build configuration information from build command or JSON compilation database.
