Comment by muricula

You may be interested in the new Clang -fbounds-safety extension https://clang.llvm.org/docs/BoundsSafety.html