4 ms·
John Regehr gave a presentation to the Bay Area Rust user's group recently about his work. Since then we've started applying C-Reduce to Rust bugs and it has be
by brson 12y ago
John Regehr gave a presentation to the Bay Area Rust user's group recently about his work. Since then we've started applying C-Reduce to Rust bugs and it has been working surprisingly well. If you've got a curly-brace language then give it a try.
- steveklabnik 12y agoJohn's talk was amazing. Watch it here: https://air.mozilla.org/rust-meetup-may-2014/ https://air.mozilla.org/rust-meetup-may-2014/
- bjz_ 12y agoIndeed! That talk was extremely eye-opening. Combined with a fuzzer, C-Reduce can find some delightfully wacky bugs that few humans would think to check. Here is a great one found by Regehr himself: https://github.com/mozilla/rust/issues/13847 https://github.com/mozilla/rust/issues/13847