V grafu je severity.
Samozřejmě chyby lze dělat i v managed jazycích. Ale jednak se díky jim lze hromadě chyb vyhnout(jde nám o zlepšení současného stavu, který je katastrofický), a potom lze provádět design checking, který dovede formálně zaručit parametry kódu. Ukažte mi, jak dnes vezmete 100k řádek kódu v C/C++, a formálně prokážete, že v nich nemůže nikdy nastat deadlock, případně že tento kód zaručeně netrpí nějakou formou memory corruption.

