DieHard: Probabilistic Memory Safety for Unsafe Languages
Automatically Tolerating And Correcting Memory Errors