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.
one is limited to the memory models selectable at the toolchain level and can't mix;
That's what that rule says, yes.
Does anybody use C51 plus MISRA-C guidelines?
I feel really sorry for anyone who has to do this.