News for hackers. Stuff that matters.

A comment on Vinix – A modern operating system written in V. Parent comment

Re:Vinix – A modern operating system written in V by cestith on Monday September 21, 2026 @11:11AM (#49788344)
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.
[ Parent | on HN ]
Re:Vinix – A modern operating system written in V by vrighter on Tuesday September 22, 2026 @06:56AM (#49799258)
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?
[ Parent | on HN ]