The debugging framework has been prototyped in both the IMPACT compiler and an experimental debugger. Experiments conducted on several integer benchmark programs have yielded encouraging results. The overhead in executable file size and compile time incurred by this framework is reasonable. Compared with previous work, the proposed approach is much more effective in the recovery of the expected variable values.