Debug information validation for optimized code
Yuanbo Li, Shuo Ding, Qirun Zhang, Davide Italiano
Abstract
Almost all modern production software is compiled with optimization. Debugging optimized code is a desirable functionality. For example, developers usually perform post-mortem debugging on the coredumps produced by software crashes. Designing reliable debugging techniques for optimized code has been well-studied in the past. However, little is known about the correctness of the debug information generated by optimizing compilers when debugging optimized code.
Topics & Concepts
DebuggingComputer scienceCorrectnessProgramming languageAlgorithmic program debuggingBackground debug mode interfaceCompilerCode (set theory)Software bugSoftwareSoftware engineeringSet (abstract data type)Software Testing and Debugging TechniquesSoftware Engineering ResearchSoftware Reliability and Analysis Research