Interactive Source-Level Debugging of Optimized Code

A new framework for debugging globally optimized code is proposed that consists of a novel breakpoint implementation scheme and a new data location tracking mechanism that enables the debugger to recover the expected behavior of a program even in the presence of optimization.