TY - JOUR
AU - Gupta, Rajiv
AB -  Execution Suppression: An Automated Iterative Technique for Locating Memory Errors DENNIS JEFFREY, VIJAY NAGARAJAN, and RAJIV GUPTA The University of California, Riverside and NEELAM GUPTA By studying the behavior of several programs that crash due to memory errors, we observed that locating the errors can be challenging because signi cant propagation of corrupt memory values can occur prior to the point of the crash. In this article, we present an automated approach for locating memory errors in the presence of memory corruption propagation. Our approach leverages the information revealed by a program crash: when a crash occurs, this reveals a subset of the memory corruption that exists in the execution. By suppressing (nullifying) the effect of this known corruption during execution, the crash is avoided and any remaining (hidden) corruption may then be exposed by subsequent crashes. The newly exposed corruption can then be suppressed in turn. By iterating this process until no further crashes occur, the rst point of memory corruption ”and the likely root cause of the program failure ”can be identi ed. However, this iterative approach may terminate prematurely, since programs may not crash even when memory corruption is present during execution. To address this, 
TI - Execution suppression: An automated iterative technique for locating memory errors
JF - ACM Transactions on Programming Languages and Systems (TOPLAS)
DO - 10.1145/1745312.1745314
DA - 2010-05-01
UR - https://www.deepdyve.com/lp/association-for-computing-machinery/execution-suppression-an-automated-iterative-technique-for-locating-1a3lNZXfR0
SP - 1
VL - 32
IS - 5
DP - DeepDyve
ER -