[nspattak]

In my opinion, the problem is that we failed to create some additional layers on top of C. an extended std lib with data structs and algorithms as well as a style/practices for everyday use (ie non compiler writers).

i adore C, it was my first language and i still like its simplicity very much. Still, I have come to believe that only strictly vetted licensed people should be allowed to use it :)

[pclmulqdq]

There are an incredibly large number of analysis tools for C to check things like memory safety. It doesn't look like they are always used in important code, though.

A lot of memory safety CVEs come down to "we wrote a static analyzer and found a latent memory bug here."

[timbit42]

Maybe a language with the checking by default in the compiler would be a good idea, like Ada or SPARK.

[ilyt]

That doesn't stop bugs, that just makes them less likely. VS making them impossible on accident