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

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 https://github.com/microsoft/checkedc [2] https://www.safe-c.org/presentation.en.html https://www.safe-c.org/presentation.en.html [3] https://dlang.org/articles/safed.html https://dlang.org/articles/safed.html [4] https://dlang.org/spec/betterc.html https://dlang.org/spec/betterc.html [5] https://libcello.org https://libcello.org