Source-level debugging techniques and tools for optimized code

The effects of optimizations and the complexities in maintaining correspondences between the source and optimized code statements are analyzed and two complementary debugging techniques for optimized code are developed and experimentally evaluated.