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.

Configuración avanzada

Comandos posteriores al análisis, scripts, opciones no oficiales

Para especificar comandos o scripts que se pueden ejecutar después de la verificación o para especificar opciones solo de línea de comandos en la interfaz de usuario de Polyspace®, utilice las opciones avanzadas.

Opciones de Polyspace

expandir todo

Comando/script que se desea aplicar al finalizar la verificación de código (-post-analysis-command)Specify command or script to be executed after analysis
OtrosSpecify additional command-line flags for static analysis

Temas