When compiling to C, does it use MISRA C or some other accepted standard for how to write secure and reliable C?

Yes, C11

But in terms of security and reliability, U's linter and compiler enforces that.

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?

Just like V but without sharp edges?