En el paquete EWARM de IAR, ¿cuál es la diferencia entre el verificador MISRA C incorporado y el verificador MISRA C de CSTAT?

2

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:

  1. El verificador estándar MISRA C que viene de manera predeterminada con el paquete EWARM
  2. 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.

    
pregunta Carla Hook

1 respuesta

0

Le hice la misma pregunta a IAR el invierno pasado. "¿Necesito comprar C-STAT para cheques MISRA-C?". Traducción al inglés de mi correspondencia con ellos:

Sí, las comprobaciones de MISRA-C las realiza C-STAT. Está integrado dentro del IDE, por lo que necesita comprar una versión EWARM con una licencia C-STAT.

Para estar seguro, pregunte a ventas de IAR. De todos modos, querrás preguntarles sobre los precios.

Sin embargo, debe saber qué MISRA-C está utilizando. Si no lo haces, no deberías estar haciendo esta compra de herramientas. IAR es compatible con MISRA-C: 2012 y MISRA-C: 2004.

    
respondido por el Lundin

Lea otras preguntas en las etiquetas