Hacker News new | ask | show | jobs
by luckystartup 3422 days ago
Is it true that most of these bugs wouldn't be possible in Rust? I think Rust might have solved:

> heap-buffer-overflows, stack overflow, use of uninitialized data, SIGSEGV, undefined shift, invalid enum value, memory leaks

I don't think Rust can protect you from infinite loops. And of course, actual logic bugs where the output is incorrect (including "assert failures").

1 comments

>I don't think Rust can protect you from infinite loops.

That is the Turing Halting Problem!