4 ms·
Most definitions of memory safety include not crashing.
by blep_ 4y ago
Most definitions of memory safety include not crashing.
- verdagon 4y agoWhat about bounds checking on array access, like most memory safe languages?
- WalterBright 4y agoHaving the program exit when a memory safety fault is detected is entirely safe.
- dukc 4y agoNope. Memory safety means no undefined behaviour. Crashing is defined behaviour. Indeed, at least in the D philosophy it is better to crash than to just do something and continue when a bug is detected. If that were not the case, assertions in released code would be total humbug. Now, detecting such errors statically at compile time is still valuable where it is practical. But it's common knowledge that no language guarantees no bugs. It follows that a complete "no crashing" guarantee is not even desirable, let alone part of a memory safety guarantee.