This is a low-quality article, IMHO, and the title is click-bait-ish. Yes, if you don't check your array sizes for overflow, and your pointers for NULL, your C code can crash. But Klokwork (for one) has been able to detect that stuff for several years.

Does the article give any concrete examples of failures in rockets from this? No, just "If I create a ridiculously large array index, and use it to access an array that isn't that big, the program crashes. No wonder rockets crash!" That's... not very impressive.