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 EGreg on Friday September 18, 2026 @03:04PM (#49758752)
Yes, C11

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

[ Parent | on HN ]
Re:Vinix – A modern operating system written in V by vrighter on Saturday September 19, 2026 @09:36AM (#49766504)
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

[ Parent | on HN ]
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 ]