Automatic fault location for data structures
Pin: building customized program analysis tools with dynamic instrumentation