Identifying the root causes of memory bugs using corrupted memory location suppression

13 years 10 months ago

Download www.cs.ucr.edu

We present a general approach for automatically isolating the root causes of memory-related bugs in software. Our approach is based on the observation that most memory bugs involve uses of corrupted memory locations. By iteratively suppressing (nullifying) the effects of these corrupted memory locations during program execution, our approach gradually isolates the root cause of a memory bug. Our approach can work for common memory bugs such as buffer overﬂows, uninitialized reads, and double frees. However, our approach is particularly effective in ﬁnding root causes for memory bugs in which memory corruption propagates during execution until an observable failure such as a program crash occurs.

Dennis Jeffrey, Neelam Gupta, Rajiv Gupta

Real-time Traffic