Color Rojo: Indica código que contiene errores, ya sea por desbordamiento en el direccionamiento de un vector/puntero, un error aritmético como una división entre cero o una potencial división entre cero, código que provoca que la ejecución caiga en bucles infinitos en los que no se ejecuta prácticamente nada.

Color Gris: Indica código que no puede alcanzarse, código que en un ciclo de ejecución normal no puede llegar a ejecutarse, como los manejadores de excepciones, las sentencias ’default’ en los ’switch-case’. Como recomendación, este tipo de situaciones deben justificarse con comentarios que expliquen el por qué de la circunstancia.

Color Naranja: Indica código que puede contener errores o su correcto funcionamiento no puede comprobarse. En un MCU todas las funciones de configuración de periféricos se resaltan en color naranja, dado que escriben en registros mapeados en memoria siendo esto direccionamiento de memoria absoluto. En las opciones de Polyspace® pueden deshabilitarse ciertas comprobaciones como la anterior.

Color Verde: Indica el código fuente que no contiene errores ni ambigüedades. Codigo que se ejecutará correctamente en todas las situaciones.