Mario Gleirscher wrote > > If you think, by using a static checking tool claiming to cover all of automatable MISRA C and you are fine, then I would say: You are lost! > Absolutely... even MISRA C itself states that "MISRA C is intended to be used within the framework of a documented software development process". A