MISRA stands for "Motor Industry Software Reliability Association". IAR has an Embedded Workbench which I believe is a Tester to verify the implementation for the MISRA C rules.
Does KEIL have a such a tool?
If there a PDF document available that spells out the rules. I have search and all I can find are test suites.
"Same thing goes for using a break; statement outside a switch/case structure, using a continue; statement, or using more than one return statement in a function."
Oops! Bad Dan. Bad, bad Dan!