Interesting. I'll be studying this later tonight so I can apply it to my C projects. Especially clang's -fbounds-safety.

I truly hope something like this catches on. There is so much low hanging fruit in both the C and C++ standard libraries. Spatial memory could be 90% solved in both languages by mandating the use of safe interfaces.