Article

Backtracking and dynamic patching for free

Authors:

Bjorn De Sutter,

Bruno De Bus,

Michiel Ronsse,

Koen De BosschereAuthors Info & Claims

AADEBUG'05: Proceedings of the sixth international symposium on Automated analysis-driven debugging

Pages 83 - 88

https://doi.org/10.1145/1085130.1085141

Published: 19 September 2005 Publication History

Get Access

Abstract

We present a way to incorporate back-tracking and dynamic patching into existing debuggers, without requiring any change to their source code, the compiler or the run-time environment. An implementation on top of gdb is presented.

References

[1]

Apple Computer. Introduction to fix and continue. http://developer.apple.com/documentation/DeveloperTools/Conceptual/PatchCommand/.

Google Scholar

[2]

Compaq Computer Corporation. Ladebug debugger manual. http://h30097.www3.hp.com/docs/base doc/DOCUMENTATION/V51A HTML/LADEBUG/TITLE.HTM.

Google Scholar

[3]

Intel Corporation. Intel(R) debugger (IDB) manual.

Google Scholar

[4]

J.R. Levine. Linkers and Loaders. Morgan Kaufman, 2000.

Digital Library

Google Scholar

[5]

Sun Microsystems. Debugging a program with dbx. http://docs.sun.com/app/docs/doc/805-4948, 1999.

Google Scholar

[6]

J. S. Plank, M. Beck, G. Kingsley, and K. Li. Libckpt: Transparent checkpointing under unix. In Proc. Usenix Winter 1995 Technical Conference, pp. 213--223, 1995.

Digital Library

Google Scholar

Index Terms

Backtracking and dynamic patching for free
1. Software and its engineering
  1. Software creation and management
    1. Software verification and validation
      1. Software defect analysis
        Software testing and debugging

Recommendations

Dynamic Patching of Embedded Software
RTAS '07: Proceedings of the 13th IEEE Real Time and Embedded Technology and Applications Symposium

In this paper, we present a method for patching embedded multitasking real-time systems applications during runtime, for instrumentation purposes. The method uses binary modification techniques and automates the entire patch process. The method makes it ...
Hot Code Patching in CPython: Supporting Edit-and-Continue Debugging in CPython with Less Than 300 Lines of Code
ICOOOLPS '19: Proceedings of the 14th Workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems

Some language runtimes such as Java Hotspot or the virtual machine for Squeak/Smalltalk support edit-and-continue debugging, which allows developers to make changes to a program while it is running. This capability is especially useful for recovering ...
Concurrent dynamic backtracking for distributed CSPs
CP'04: Proceedings of the 10th International Conference on Principles and Practice of Constraint Programming

A distributed concurrent search algorithm for distributed constraint satisfaction problems (DisCSPs) is presented. Concurrent search algorithms are composed of multiple search processes (SPs) that operate concurrently and scan non-intersecting parts of ...

Comments

Information & Contributors

Information

Published In

AADEBUG'05: Proceedings of the sixth international symposium on Automated analysis-driven debugging

September 2005

172 pages

ISBN:1595930507

DOI:10.1145/1085130

General Chair:
Clinton Jeffery
New Mexico State University, USA
,
Program Chairs:
Jong-Deok Choi
IBM T.J. Watson Research Center, USA
,
Raimondas Lencevicius
Nokia Research Center, USA

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 19 September 2005

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Article

Conference

AADEBUG05

Sponsor:

AADEBUG05: AADEBUG '05 - Sixth International Symposium on Automated and Analysis Driven Debugging

September 19 - 21, 2005

California, Monterey, USA

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

0
Total Citations
211
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 05 Mar 2025

Other Metrics

View Author Metrics

Citations

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Abstract

References

Index Terms

Recommendations

Dynamic Patching of Embedded Software

Hot Code Patching in CPython: Supporting Edit-and-Continue Debugging in CPython with Less Than 300 Lines of Code

Concurrent dynamic backtracking for distributed CSPs

Comments

Information

Published In

Sponsors

Publisher

Publication History

Permissions

Check for updates

Qualifiers

Conference

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Login options

Full Access

View options

PDF

eReader

Share

Share this Publication link

Share on social media

Affiliations