Itt nem kódanalízisről van szó, hanem arról, hogy a típusszabályok miatt le se fog fordulni a kód. A rustos példában option jön vissza, amit kezelni kell. Tehát, nehezebb hibázni, nehezebb benézni azt, hogy nullptr-t deref-elsz. De ha be is nézed, akkor is szét runtime error lesz (gondolom).Ettől még a C fordító végezhet valamilyen szintű analízist, ami kiszűri az ilyen hibák egy részét.
Ha a biztonságra törekedünk, akkor megérheti lecserélni.Egy olyan kódot, amiben 20 év alatt zéró biztonsági hibát találtak?
Még az is lehet amúgy, hogy lesz (vagy már van) valami tool, ami képes lesz C kódot áttenni Rustba. A Rust-ra portolás felfogható akár egy nagy code review-nak is, csak review közben át is írod a kódot egy másik nyelvre. Mondjuk Rust esetében ez lehet nem triviális a borrow checker miatt. De ha rá vagy kényszerülve, hogy átgondold az egészet emiatt, akkor lehet megériMiért érné meg? Az csak spekuláció, hogy biztonságosabb lesz, gyorsabb nem lesz, maximum lassabb se, hordozhatóbb meg pláne nem lesz...