Esta página es para la versión anterior. La página correspondiente en inglés ha sido eliminada en la versión actual.

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