Computer Science

Computer Science ›› 2021, Vol. 48 ›› Issue (5): 9-15.doi: 10.11896/jsjkx.200600152

• Computer Software • Previous Articles     Next Articles

Summary on Reverse Debugging Technology

XU Jian-bo, SHU Hui, KANG Fei   

  1. State Key Laboratory of Mathematical Engineering and Advanced Computing,Information Engineering University,Zhengzhou 450001,China
  • Received:2020-06-24 Revised:2020-08-24 Online:2021-05-15 Published:2021-05-09
  • About author:XU Jian-bo,born in 1987,master.His main research interests include compu-ter application and information security.(xujianbo2018@163.com)
    SHU Hui,born in 1974,Ph.D,professor.His main research interests include reverse engineering and network information security.
  • Supported by:
    National Key R&D Program of China(2016YFB08011601).

PDF (PC)

1213

Abstract: In the process of software development and test deployment,debugging consumes a lot of developers' energy and time.Sometimes,in order to find a critical bug,debugging needs to restart many times.Reverse debugging is a technology of software debugging.It can check running instructions and status backward without restarting,which can greatly improve the speed of software debugging,reduce the difficulty of software development,and effectively repair the errors during the running of the program.The core issue of this technology is the recovery of running state.At present,current solutions are state preservation and state reconstruction.This paper mainly reviews the development of reverse debugging from the aspects of principle,academic research,products implementation and technical application.It focuses on the time-based and instruction-based state preservation and two methods of reverse execution reconstruction states.It summarizes 3 specific applications of record replay program execution,location analysis software error,reverse data flow recovery,which provides a reference for the research and application of reverse debugging technology.

Key words: Debugging, Reverse debugging, Reverse execution, Software failure, State reconstruct, State save

CLC Number: 

  • TP311
[1]ZHANG Y K.Software Debugging[M].Chongqing:PublishingHouse of Electronics Industry.2008:3-5.
[2]LIU M L,YANG X S,ZHAO L,et al.Discrete Characteristic-based Test Execution Selection for Software Fault Localization and Understanding[J].Computer Science,2016,43(3):179-187.
[3]CAO H L,JIANG S J,JU X L.Survey of Software Fault Localization[J].Computer Science,2014,41(2):1-6,14.
[4]ENGBLOM J.A review of reverse debugging[C]//Proceedings of the 2012 System,Software,SoC and Silicon DebugConfe-rence.IEEE,2012:1-6.
[5]JIANG S,WANG W W,JIANG L,et al.A Fast bug-locating record and replay debugging system[J].Computer Applications and Software,2016(10):219-222.
[6]ENGBLOM J.Reverse Debugging Products[EB/OL].[2020-5-12].http://jakob.engbloms.se/archives/1564.
[7]ENGBLOM J,ARNO D,WERNER B.Full-System Simulation from Embedded to High-Performance Systems[M].Springer,US,2010.
[8]UNDO Corp.What is Reverse Debugging,and why do we need it[EB/OL].[2020-5-12].http://undo.io/resources/reversedebugging-whitepaper/.
[9]FSF.GDB and Reverse Debugging.[EB/OL].[2020-5-12].http://www.gnu.org/software/gdb/news/reversible.html.
[10]MARK.Introducing Time Travel Debugging for Visual StudioEnterprise 2019[EB/OL].[2020-5-12].http://devblogs.microsoft.com/visualstudio/.
[11]Microsoft Corp.IntelliTrace Features[EB/OL].[2020-5-12].http://docs.microsoft.com/en-us/visualstudio/debugger/inte-llitrace-features.
[12]CALLAHAN R,JONES C,FROYD N,et al.Engineering record and replay for deployability:Extended technical report[J].ar-Xiv:1705.05937,2017.
[13]GITHUB.Pomp[EB/OL].[2020-5-12].http://github.com/junxzm1990/pomp.
[14]Microsoft Corp.Debugging Using WinDbg Preview[EB/OL].[2020-5-12].http://docs.micro-soft.com/en-us/windowshardware/drivers/debugger/.
[15]Microsoft Corp.Time Travel Debugging Over-view.[EB/OL].[2020-5-12].http://docs.microsoft.com/en-us/windowshardware/drivers/debugger/.
[16]CUI W,GE X,KASIKCI B,et al.{REPT}:Reverse Debugging of Failures in Deployed Software[C]//13th {USENIX} Symposium on Operating Systems Design and Implementation ({OSDI} 18).2018:17-32.
[17]MU D,GUO W,CUEVAS A,et al.RENN:Efficient Reverse Execution with Neural-network-assisted Alias Analysis[C]//2019 34th IEEE/ACM International Conference on Automated Software Engineering (ASE).IEEE,2019:924-935.
[18]HOEY J,ULIDOWSKI I,YUEN S.Reversing imperative parallel programs[J].arXiv:1709.00828,2017.
[19]HOEY J,ULIDOWSKI I,YUEN S.Reversing parallel programswith blocks and procedures[J].arXiv:1808.08651,2018.
[20]HOEY J,ULIDOWSKI I.Reversible imperative parallel pro-grams and debugging[C]//International Conference on Reversible Computation.Springer,Cham,2019:108-127.
[21]HOEY J,LANESE I,NISHIDA N,et al.A Case Study for Reversible Computing:Reversible Debugging of Concurrent Programs[C]//International Conference on Reversible Computation.Springer,Cham,2020:108-127.
[22]UNDO Corp.The interactive reverse debugger for Linux-based applications[EB/OL].[2020-5-12].http://undo.io/solutions/products/un-dodb-reverse-debugger/.
[23]UNDO Corp.UndoDB Documentation[EB/OL].[2020-5-12].http://docs.undo.io/TechnicalDetails.html.
[24]Reverse Debugging with GDB[EB/OL].(2014-4-9)[2020-5-12].http://sourceware.org/gdb/wiki/ReverseDebug.
[25]ZHANG D F,HU X L,WANG L J.Intelligent Tracking and Debugging Technology Based on Domestic Platform[J].Computer Systems and Applications,2019,28(8):101-108.
[26]KLIMUSHENKOVA A,DOVGALYUK M.Improving the performance of reverse debugging[J].Programming and Computer Software,2017,43(1):60-66.
[27]Process-Record-and-Replay[EB/OL].[2020-5-15].http://sourceware.org/gdb/onlinedocs/gdb/Process-Record-and-Replay.html.
[28]MOZILLA Corp.what rr does[EB/OL].[2020-5-12].http://rr-project.org/.
[29]GITHUB.rr[EB/OL].[2020-5-12].http://github.com/mozi-lla/rr.
[30]O'CALLAHAN R,JONES C,FROYD N,et al.Engineering record and replay for deploy-ability[C]//2017 Annual Technical Conference ({USENIX}{ATC}).2017:377-389.
[31]AKGUL T,MOONEY J.Assembly instruction level reverse exe-cution for debugging[J].ACM Transactions on Software Engineering and Methodology (TOSEM),2004,13(2):149-198.
[32]AKGUL T,MOONEY J.Instruction-level reverse execution for debugging[J].ACM SIGSOFT Software Engineering Notes,2002,28(1):18-25.
[33]AKGUL T,MOONEY J,PANDE S.A fast assembly level reverse execution method via dynamic slicing[C]//26th International Conference on Software Engineering.IEEE,2004:522-531.
[34]LEE J.Dynamic reverse code generation for backward execution[J].Electronic Notes in Theoretical Computer Science,2007,174(4):37-54.
[35]YI J.A Case for Dynamic Reverse-code Generation to DebugNon-deterministic Programs[J].arXiv:1309.5152,2013.
[36]GITHUB.Intel PT[EB/OL].[2020-5-12].https://github.com/intelpt.
[37]XU J,MU D,XING X,et al.Postmortem program analysis with hardware-enhanced post-crash artifacts[C]//26th {USENIX} Security Symposium ({USENIX} Security 17).2017:17-32.
[38]MU D,DU Y,XU J,et al.POMP++:Facilitating Postmortem Program Diagnosis with Value-set Analysis [J].IEEE Transactions on Software Engineering,2019(99):1.
[39]CUI W,PEINADO M,CHA S K,et al.Retracer:Triaging crashes by reverse execution from partial memory dumps[C]//IEEE/ACM 38th International Conference on Software Engineering (ICSE).IEEE,2016:820-831.
[40]GE X,NIU B,CUI W.Reverse Debugging of Kernel Failures in Deployed Systems[C]//2020 Annual Technical Conference ({USENIX}{ATC} 20).2020:281-292.
[41]NORDMARK E F.The fundamentals of debuggers and thechallenges of Reverse Debugging[D].Trondheim:Norwegian University of Science and Technology,2019.
[42]GURDEEP S R,TORRES L C,MARR S,et al.Multiverse Debugging:Non-Deterministic Debugging for Non-Deterministic Programs (Artifact)[J].Dagstuhl Artifacts Series,2019,5(2):1-3.
[43]DOVGALYUK P.Deterministic Replay of System's Execution with Multi-target QEMU Simulator for Dynamic Analysis and Reverse Debugging[C]//CSMR.2012:553-556.
[1] SU Qing, LI Zhi-zhou, LIU Tian-tian, WU Wei-min, HUANG Jian-feng, LI Xiao-mei. Tree Structure Evaluation Visualization Model for Program Debugging [J]. Computer Science, 2021, 48(5): 68-74.
[2] QI Hui, SHI Ying, LI Deng-ao, MU Xiao-fang, HOU Ming-xing. Software Reliability Prediction Based on Continuous Deep Confidence Neural Network [J]. Computer Science, 2021, 48(5): 86-90.
[3] SUN Chang-ai, ZHANG Shou-feng, ZHU Wei-zhong. Mutation Based Fault Localization Technique for BPEL Programs [J]. Computer Science, 2021, 48(1): 301-307.
[4] TIAN Yu-li, LI Ning. System Usage Analysis and Failure Analysis for Cloud Computing [J]. Computer Science, 2020, 47(12): 50-55.
[5] LI Wen-hai, PENG Xin, DING DAN, XIANG Qi-lin, GUO Xiao-feng, ZHOU Xiang, ZHAO Wen-yun. Method of Microservice System Debugging Based on Log Visualization Analysis [J]. Computer Science, 2019, 46(11): 145-155.
[6] ZHANG Xiao-feng and ZHANG De-ping. Software Failure Prediction Model Based on Quasi-likelihood Method [J]. Computer Science, 2016, 43(Z11): 486-489.
[7] WANG Zong-hui, ZHOU Yong and ZHANG De-ping. Software Failure Prediction Model Based on Improved Nonparametric Method [J]. Computer Science, 2016, 43(6): 156-159.
[8] FEI Qi and LIU Chun-yu. General NHPP Software Reliability Research and Application [J]. Computer Science, 2014, 41(Z11): 379-381.
[9] YANG Nan,WU Ling and WANG Qian-xiang. POP-PHP:Online Integrated Development Environment for PHP Applications [J]. Computer Science, 2014, 41(9): 38-44.
[10] CAO He-ling,JIANG Shu-juan and JU Xiao-lin. Survey of Software Fault Localization [J]. Computer Science, 2014, 41(2): 1-6.
[11] . Applications of MPI Parallel Debugging and Optimization Strategy in the Gas-Kinetic Numerical Algorithm for 3-D Flows [J]. Computer Science, 2012, 39(5): 300-303.
[12] ZHAO Ling-zhong, LIAO Wei-zhi, QIAN Jun-yan, GU Tian-long. Framework for Integrated Testing and Debugging of Logic Programs Based on Computed Answers Semantics [J]. Computer Science, 2009, 36(9): 115-121.
[13] ZENG Fu-ping, YANG Shun-kun, LU Min-yan. Study on Computer Aided Design for System Software FMEA [J]. Computer Science, 2009, 36(9): 106-109.
[14] WANG Xin-ping, GU Qing, CHEN Xiang, GHANG Xin, CHEN Dao-xu. Research on Software Fault Localization Based on Execution Trace [J]. Computer Science, 2009, 36(10): 168-171.
[15] BAO Ai-Hua, YAO Li, LIU Fang, ZHANG Wei-Ming （School of Information System and Management, NUDT, Changsha 410073）. [J]. Computer Science, 2007, 34(9): 151-155.
Viewed
Full text


Abstract

Cited
  Shared   
  Discussed   
No Suggested Reading articles found!
渝ICP备16013121号-4
Add:18# Honghu West Rd., Yubei ,Chongqing,China    Post Code: 401121
Tel: 023-63500828/023-67039612/023-67039623
E-mail: jsjkx12@163.com
Powered by Beijing Magtech Co., Ltd.