3 ms·

Bad science. Rust code does have unsafe at times, so it can still have memory safety issues. It may not matter that your program is memory safe if it was writ

by nullc 6y ago

Bad science. Rust code does have unsafe at times, so it can still have memory safety issues. It may not matter that your program is memory safe if it was written by people who don't understand the problem domain and doesn't work correctly. E.g. for qemu, it's perfectly possible to be absurdly vulnerable -- giving target code control of the host -- without any memory safety bug at all.

staticassertion 6y ago
In fact it's not science at all. I didn't claim it was science, I claimed it was so obvious and intuitive that science was unnecessary. > without any memory safety bug at all. Most QEMU escapes I have seen are memory safety issues in emulated devices.