Exterminator: Automatically Correcting Memory Errors with High Probability

The document discusses the Exterminator, an advanced tool for automatically correcting memory errors in programming languages like C and C++. It builds on the DieHard project by using randomization and replication to enhance memory safety and diagnose issues like buffer overflows and dangling pointers. The Exterminator operates through a three-piece architecture involving a diehard-based allocator, an error isolator, and a correcting allocator to effectively manage and mitigate programming errors.