zlacker

[return to "“Rust is safe” is not some kind of absolute guarantee of code safety"]
1. Pragma+b8[view] [source] 2022-10-02 15:12:48
>>rvz+(OP)
I’ve been using Rust for a while, and I’m so, so tired of hearing this argument.

Yes, we know. We get it. Rust is not an absolute guarantee of safety and doesn’t protect us from all the bugs. This is obvious and well-known to anyone actually using Rust.

At this point, the argument feels like some sort of ideological debate happening outside the realm of actually getting work done. It feels like any time someone says that Rust defends against certain types of safety errors, someone feels obligated to pop out of the background and remind everyone that it doesn’t protect against every code safety issue.

◧◩
2. oconno+Ho[view] [source] 2022-10-02 16:42:39
>>Pragma+b8
Fwiw, the original article/email is less about "Rust has unsafe" and more about "panicking/crashing to avoid triggering UB isn't a viable strategy in the kernel."
◧◩◪
3. pas+Zo1[view] [source] 2022-10-02 23:26:52
>>oconno+Ho
it might be in a virtualized/development env. but otherwise that's why all those defensive coding practices are recommended in low-level code. to deal with this.
[go to top]