A bit of background: Our team will be programming firmwares for ARM microprocessors. Programming codes should comply with the MISRA C standard. We have decided to check IAR's EWARM package: https://www.iar.com/iar-embedded-workbench/#!?architecture=ARM¤tTab=editions-and-licensing
Looking at the EWARM package list, we see that there are two possible MISRA C checkers:
- The standard MISRA C checker which comes in by default with the EWARM package
- The MISRA C checker under the optional static analysis package called CSTAT
My question is, what's the difference between the two checkers? Assuming we only have to follow MISRA C compliance, what will we lose if we opt not to buy the optional CSTAT package?
Thanks in advance for any answers.