Hacker News Reader

What C variations have given safe system programming for many years? I'm not sure I know of any.

MISRA C is a subset of C / set of rules that is used in the auto industry, and supported by many tools.

> Rule 20.4 (required): Dynamic heap memory allocation shall not be used

So anyway, what subset of C allows the use of dynamic heap memory allocation and enforces safety?

> MISRA C is a subset of C / set of rules that is used in the auto industry, and supported by many tools.

That's true, and I know you are not claiming this, but MISRA C is neither memory nor thread safe, which is what we are talking about here.

Writing MISRA C code with data-races is trivial, and no "linter" for it finds those.