Un poco de antecedentes: nuestro equipo estará programando firmwares para microprocesadores ARM. Los códigos de programación deben cumplir con la norma MISRA C. Hemos decidido verificar el paquete EWARM de IAR: enlace
Mirando la lista de paquetes de EWARM, vemos que hay dos posibles comprobadores MISRA C:
- El verificador estándar MISRA C que viene de manera predeterminada con el paquete EWARM
- El comprobador MISRA C en el paquete opcional de análisis estático llamado CSTAT
Mi pregunta es, ¿cuál es la diferencia entre las dos fichas? Suponiendo que solo tengamos que seguir el cumplimiento de MISRA C, ¿qué perderemos si optamos por no comprar el paquete CSTAT opcional?
Gracias de antemano por cualquier respuesta.