3 ms·
Can you link to that? I'd be curious to see how they did those things. I guess Redox has a lot of unsafe Rust code?
by peoplewindow 9y ago
Can you link to that? I'd be curious to see how they did those things. I guess Redox has a lot of unsafe Rust code?
- dtolnay 9y agoHere is the "Redox Crash Challenge": https://github.com/redox-os/redox/issues/1136 https://github.com/redox-os/redox/issues/1136 According to the Redox book, at last count they had 70 cases of unsafe across 4500 total lines of kernel code. https://doc.redox-os.org/book/introduction/unsafes.html https://doc.redox-os.org/book/introduction/unsafes.html
- steveklabnik 9y agoSafe rust doesn’t mean “no bugs”, these kinds of issues aren’t inherently memory safety issues, they can also be the product of logic bugs.