Recovery of noncurrent variables in source-level debugging of optimized code

摘要: Source-level debugging and code optimization are important tools of programming. A debugger has to supply precise information about the values variables at any run time error or breakpoint. Code optimization, on other hand, removes dead stores reorders save space, causing intermediate events happen out sequence. thorough implementation either limits usefulness other. Hennessy, in his paper “Symbolic Debugging Optimized Code” [2], suggested various techniques handle this. However, he explicitly chose not take advantage fact that many operations reversible partial results will be avaiable registers temporaries. This considers these questions order extend Hennessy's for recovery noncurrent variables. The algorithms developed can detect most recoverable variables, linear time. We also consider methods limit our search only a part dag.