News for hackers. Stuff that matters.

A comment on Regex: badly needs fuzzing.

Re:Regex: badly needs fuzzing by luckystartup on Thursday February 09, 2017 @10:01AM (#13607349)
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").

[ Parent | on HN ]
Re:Regex: badly needs fuzzing by amalag on Thursday February 09, 2017 @10:42AM (#13607651)
>I don't think Rust can protect you from infinite loops.

That is the Turing Halting Problem!

[ Parent | on HN ]