Biztonságos C terén is futnak a háttérben fejlesztések:
http://www.safe-c.org/
https://www.microsoft.com/en-us/research/project/checked-c/
A Rust ezeknek valamelyest alávágott. A Microsoft azóta fő támogatója lett a függetlenné vált Rust alapítványnak: https://foundation.rust-lang.org/members/
Amit feljebb kisarkított példákat rögtönöztem, azoknak a hibáknak a nyelv+fordító általi kivédésében félő, hogy nem elég a C-t részben átfaragcsálni.
A Rust merőben el mert szakadni a C hagyományaitól. Fő dobása ownership+borrowing és az ezáltal létrejövő sok megnyíló lehetőség, GC nélküli automata memóriakezelés, stb.
De itt nem álltak meg, egyúttal csomó ezredforduló utáni modern dolgot beemeltek a nyelvbe.
Hátrány: koncepcióban így eléggé eltér a C-től, így nehéz átképződni rá C-ről. Sokan ezért is fújnak rá.