They certainly know that you dont want to process garbage data from freed memory.
Soundness does not cover semantic correctness. Maybe you want to wipe $HOME.
Soundness does not cover semantic correctness. Maybe you want to wipe $HOME.
It depends on what you mean by "freed". Can one write a custom allocator in Rust? How does one handle reading from special addresses that represent hardware? In both of these scenarios, one might read from or write to memory that is not obviously allocated.