4 ms·
> So what does it mean for a program to be memory safe if it can still memory leak? That it's not actually memory safe. Memory leaks are part of memory unsafet
by Jtsummers 4y ago
> So what does it mean for a program to be memory safe if it can still memory leak?
That it's not actually memory safe. Memory leaks are part of memory unsafety.
- Hemospectrum 4y agoThat’s not correct. Memory safety consists of properties necessary for type safety to be upheld. Leaks alone can crash a program but can’t defeat type safety.