3 ms·

Assuming most (not all) vulnerabilities are C-style use after free and buffer overflows. If kernel were written in Rust these vulnerabilities would not be issue

Assuming most (not all) vulnerabilities are C-style use after free and buffer overflows. If kernel were written in Rust these vulnerabilities would not be issues? Meaning microkernels only make sense in C world. What am I missing?

yjftsjthsd-h 6y ago
As you implicitly note yourself; even if "most (not all) vulnerabilities are C-style use after free and buffer overflows" - well, if you reasonably can do something to defend against the things that aren't memory issues, then that will catch those. Also, even Rust lets you use "unsafe" code, and an OS will probably contain some; even if it's minimal, even if it's reviewed, you want any extra protections that you can get.