Debug Information Validation for Optimized Code Yuanbo Li Shuo Ding Georgia Institute of Technology Georgia Institute of Technology USA USA
[email protected] [email protected] Qirun Zhang Davide Italiano Georgia Institute of Technology Apple Inc. USA USA
[email protected] [email protected] Abstract and does systematic testing by comparing the debugger out- put of P 0 and the actual value of v at line s in P . We Almost all modern production software is compiled with op- hs;v i hs;v i timization. Debugging optimized code is a desirable function- have applied our framework to two mainstream optimizing C ality. For example, developers usually perform post-mortem compilers (i.e., GCC and LLVM). Our framework has led to 47 debugging on the coredumps produced by software crashes. confirmed bug reports, 11 of which have already been fixed. Designing reliable debugging techniques for optimized code Moreover, in three days, our technique has found 2 confirmed has been well-studied in the past. However, little is known bugs in the Rust compiler. The results have demonstrated about the correctness of the debug information generated the effectiveness and generality of our framework. by optimizing compilers when debugging optimized code. CCS Concepts: • Software and its engineering ! Soft- Optimizing compilers emit debug information (e.g., DWARF ware testing and debugging; Compilers. information) to support source code debuggers. Wrong de- bug information causes debuggers to either crash or to dis- Keywords: Debug Information, Optimizing Compilers play wrong variable values. Existing debugger validation ACM Reference Format: techniques only focus on testing the interactive aspect of de- Yuanbo Li, Shuo Ding, Qirun Zhang, and Davide Italiano.