Comment by umanwizard
6 days ago
> You can even get double free in Rust if you take the time to build an entire machine emulator and then run something that uses Malloc in the ensuing VM.
No, this wouldn't be a double free in Rust, it'd be a double free in whatever language you used to write the emulated code.
The distinction is meaningful, because the logic error he's talking about is possible in actual rust (even without unsafe), not just theoretically in some virtual system that you can use Rust to write a simulation for.
Another example would be making your own allocator in Rust.
Not possible without unsafe.
Sure it is. Have an array which you allocate from.
Everything is possible in a turing complete language.
1 reply →