I think what could be a worthwhile approach is designing a source compatible language, that makes all the implicit rules defined in C explicit, for example owni

I think what could be a worthwhile approach is designing a source compatible language, that makes all the implicit rules defined in C explicit, for example owning/non-owning pointers or nullability. I like the concept of SPlint, although the implementation is garbage.