3 ms·
> It's impossible to claim there's "no actual memory safety issue" when a program's invariants have been broken: all bets are off at that point. When the under
by AshamedCaptain 4y ago
> It's impossible to claim there's "no actual memory safety issue" when a program's invariants have been broken: all bets are off at that point.
When the underlying _runtime's_ invariants have been broken, not when the program invariants have been broken. i.e. you can recover from almost everything save for a VM error in a VM language like Java, since there's no way for the program to mess up the VM's data structures in a way that they cannot be brought back to a defined state.
- couchand 4y agolet innocent_var = operation_that_panics_but_returns_something_random_instead(); unsafe { do_something_assuming_validity(innocent_var); }