C11 is the c language version. misra C is a set of guidelines for robust code when lives are on the line.

One rule is "no malloc after initialization". so no, you probably aren't. Nor should you be. misra is intended for the programmerc not the compiler

He's emitting C as an intermediate form. I'm asking if the C that's emitted is meeting MISRA or any other recognized standard for secure and robust C code.

you can't have a compiler automatically generate misra C. Because misra is a set of programmer discipline guidelines. How would you automatically convert a program that does dynamic allocation into one that preallocates all memory up front in the init phase?