Lista completa de opciones del motor de análisis de PolyspaceBug Finder

Cuando utilice Polyspace, quizá desee cambiar algunas opciones de análisis predeterminadas. Puede cambiar las opciones para resolver problemas de compilación, especificar comprobadores adicionales, establecer reglas a partir de estándares de codificación, generar informes, etc. Las opciones se organizan aquí según los grupos del panel Configuration de la interfaz de usuario de los productos de escritorio de Polyspace.

Puede especificar opciones de análisis utilizando la interfaz de usuario de escritorio de Polyspace, la interfaz de la línea de comandos de Polyspace o un archivo de opciones.

• Interfaz de usuario de Polyspace: para cambiar las opciones de análisis de un módulo de proyecto, en Project Browser, seleccione el nodo Configuration del módulo. En el panel Configuration, cambie las opciones según sea necesario. Consulte Run Static Analysis in Polyspace User Interface.

• Línea de comandos: Para especificar opciones de análisis cuando ejecuta un análisis de Polyspace desde la línea de comandos, añada las opciones a polyspace-bug-finder o a polyspace-bug-finder-server. Consulte Run Polyspace Analysis from Command Line.

• Archivo de opciones: Un archivo de opciones es un archivo de texto con un par opción-valor en cada línea. En lugar de enumerar muchas opciones explícitamente, puede especificar un archivo de opciones en la línea de comandos como valor para la opción -options-file. Consulte Options Files for Polyspace Analysis.

Para obtener información sobre la configuración específica del IDE disponible con los complementos o extensiones de Polyspace as You Code, consulte Configurar un análisis de Polyspace en IDE.