Debugopt: Debugging fully optimized natively compiled programs using multistage instrumentation

Jie Yin, Gang Tan, Hao Li, Xiaolong Bai, Yu-Ping Wang, Shi-Min Hu