Comment by LtWorf
7 days ago
Rust doesn't check for logical errors, it checks for memory errors. So every single issue in an unsafe section is a potential CVE.
7 days ago
Rust doesn't check for logical errors, it checks for memory errors. So every single issue in an unsafe section is a potential CVE.
Of course, but even the presence of CVEs does not make software worthless, it just makes it worth less.
You don't seem to understand what I'm talking about.
bad axiom -> worthless theorem.
bad unsafe section -> verified safe section is actually not safe.
I’ve understood the distinction. I just don’t like you equating “actually not safe” with “worthless”.
2 replies →