> 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.