Contenido principal

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

OtrosSpecify additional command-line flags for static analysis

Temas