La traducción de esta página aún no se ha actualizado a la versión más reciente. Haga clic aquí para ver la última versión en inglés.

Configurar un análisis de Polyspace en IDE

Compruebe código C/C++ en busca de defectos en IDE, como Eclipse™, Visual Studio® y Visual Studio Code

Puede especificar opciones de análisis para modificar el comportamiento predeterminado de Polyspace® as You Code. Las opciones comunes, como los comprobadores, están disponibles a través de la configuración de la extensión del IDE. 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.

Las acciones de configuración que se suelen requerir son analizar la compilación, configurar los comprobadores y establecer ajustes de referencia. Para cada una de estas acciones, especifique la configuración de extensión del IDE adecuada y, luego, siga un paso adicional antes de ejecutar Polyspace as You Code. Por ejemplo:

  • Analizar una compilación: en la configuración del IDE, especifique dónde obtener información de compilación y, después, ejecute el análisis de compilación antes de las ejecuciones reales.

  • Configurar comprobadores: antes de ejecutar Polyspace as You Code, especifique los comprobadores en una ventana de selección de comprobadores y guárdelos en un archivo de configuración. En la configuración del IDE, especifique la ruta hasta este archivo.

  • Ajustes de referencia: en la configuración del IDE, especifique el proyecto de Polyspace Access™ para utilizarlo como línea de referencia y, después, descargue la información de la línea de referencia antes de las ejecuciones reales.

Categorías

Información relacionada