EIO: Error Handling is Occasionally Correct
SafeMem: exploiting ECC-memory for detecting memory leaks and memory corruption during production runs