4 ms·
This is really promising work. However, it doesn't support free() at all; without free(), it seems less useful. It's not clear to me what supporting free() wo
by dwheeler 8y ago
This is really promising work. However, it doesn't support free() at all; without free(), it seems less useful. It's not clear to me what supporting free() would involve; I'd love to hear comments.
- kayamon 8y agoMemory safety requires garbage collection. A system with explicit frees can never be safe.