logoalt Hacker News

throwawayqqq11yesterday at 12:15 PM1 replyview on HN

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.


Replies

wakawaka28yesterday at 1:36 PM

>They certainly know that you dont want to process garbage data from freed memory.

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.

show 2 replies