Exterminator: Automatically Correcting Memory Errors with High Probability
Programs written in C and C++ are susceptible to memory errors, including buffer overflows and dangling pointers. We present Exterminator, a system that automatically…