This is a low-quality article, IMHO, and the title is click-bait-ish. Yes, <i>if</i> 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.<p>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.