Sciweavers

ICSM
2008
IEEE

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

14 years 6 months ago
Identifying the root causes of memory bugs using corrupted memory location suppression
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 overflows, uninitialized reads, and double frees. However, our approach is particularly effective in finding 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
Added 31 May 2010
Updated 31 May 2010
Type Conference
Year 2008
Where ICSM
Authors Dennis Jeffrey, Neelam Gupta, Rajiv Gupta
Comments (0)