At least Rust has a chance to be largely correct because it has much greater effort per amount of code (in the compiler) invested into it than most any application code.

Rust’s type system enables the possibility of discovering and fixing a bug like this, and ruling out this class of bugs for all future programs.

The hand-waving comes from other languages which can’t do anything to prevent their users encounter such bugs and the ensuing CVEs.

I mean, Rust's whole shtick is safety, so that's really the only thing there is to "push" about the language.

> not even Rust is free from hand waving.

It is moral though, so who cares really.