There have been attempts at patching C's issues [1][2][3][4][5], but with not much success from what I've seen. I know there are static analyzers out there but they provide no guarantees that they will catch all bugs in your code, is there really no way to output safe C? Is this the final consensus? That writing in C equals unsafe code and people should stay away from it?
[1] https://github.com/microsoft/checkedc
[2] https://www.safe-c.org/presentation.en.html
[3] https://dlang.org/articles/safed.html
[4] https://dlang.org/spec/betterc.html
[5] https://libcello.org