Nobody is claiming Rust is a silver bullet, least of all Rust itself which is quite explicit about this. What it does, however, is assure that an unsafe-free p

Nobody is claiming Rust is a silver bullet, least of all Rust itself which is quite explicit about this. What it does, however, is assure that an unsafe-free program will not contain any of a certain class of bugs, including invalid memory accesses or data races. At the same time, it is an objective fact that a huge proportion of serious exploits and vulnerabilities are caused by exactly this kinds of bugs, no matter how much people like you go "just write correct code bro". Formal verification is the way forward and Rust is an excellent first step. As a bonus, even if you wrapped your whole program in `unsafe`, Rust is a miles better systems programming language than C, in terms of features (imho of course).