Last December I had tried to compile Lua 5.2.0 with MISRA C rules enforced, using GHS compiler [1]. The conclusion was that although most of the rules are verified, at least 48 rules fail for generally good reasons. I don't think it would be a good idea to make Lua sources pass all MISRA rules. [1] http://lua-users.org/lists/lua-l/2011-12/msg00317.html