Если упарываться по анализу кода на всевозможные Rule-чекеры, то не
на одном только MISRA свет клином сошелся. Есть standalone версия
PVS-Studio (ее можно использовать free), она также как MISRA-чекер
чекает код на отсутствие потенциальных ошибок. Или есть Clang
Static Analyzer.
Если отойти от IAR'а, поставить на посмотреть-таки бесплатный Atollic true studio (ныне ST) то быстро станет понятно насколько IAR как IDE отстал от времени. Хотя своей традиционной организацией окошк дебаггера где-то и привычен. В atollic true studio (она же stm32 cube ide) есть анализ кода пока набираешь, и есть и отдельный статический анализатор.