GDB: The GNU Project Debugger. GDB, the GNU Project debugger, allows you to see what is going on `inside’ another program while it executes -- or what another program was doing at the moment it crashed. GDB can do four main kinds of things (plus other things in support of these) to help you catch bugs in the act: Start your program, specifying anything that might affect its behavior. Make your program stop on specified conditions. Examine what has happened, when your program has stopped. Change things in your program, so you can experiment with correcting the effects of one bug and go on to learn about another.

References in zbMATH (referenced in 14 articles , 1 standard article )

Showing results 1 to 14 of 14.
Sorted by year (citations)

  1. Groce, Alex; Havelund, Klaus; Holzmann, Gerard; Joshi, Rajeev; Xu, Ru-Gang: Establishing flight software reliability: testing, model checking, constraint-solving, monitoring and learning (2014)
  2. Hupel, Lars: Interactive simplifier tracing and debugging in Isabelle (2014)
  3. Morse, Everett; Vrvilo, Nick; Mercer, Eric; McCarthy, Jay: Modeling asynchronous message passing for C programs (2012) ioport
  4. Schlich, Bastian; Brauer, Jörg; Kowalewski, Stefan: Application of static analyses for state-space reduction to the microcontroller binary code (2011)
  5. Edelkamp, Stefan; Jabbar, Shahid; Sulewski, Damian: Distributed verification of multi-threaded C++ programs (2008)
  6. Matloff, Norman; Salzman, Peter Jay: The art of debugging with GDB, DDD, and Eclipse (2008)
  7. Love, Robert: Linux system programming. (2007)
  8. Marceau, Guillaume; Cooper, Gregory H.; Spiro, Jonathan P.; Krishnamurthi, Shriram; Reiss, Steven P.: The design and implementation of a dataflow language for scriptable debugging (2007) ioport
  9. Mehler, Tilman; Edelkamp, Stefan: Dynamic incremental hashing in program model checking (2006)
  10. Dandamudi, Sivarama P.: Introduction to assembly language programming. For Pentium and RISC processors. (2005)
  11. Lindstrom, Gary; Mehlitz, Peter C.; Visser, Willem: Model checking real time Java using Java PathFinder (2005)
  12. Yong, Suan Hsi; Horwitz, Susan: Using static analysis to reduce dynamic analysis overhead (2005)
  13. Wieland, Thomas: C++ development using Linux. An introduction to the language und the most important tools -- from GCC and XEmacs to Eclipse (2004)
  14. Dalheimer, Matthias Kalle: GNU tools for programming - in brief (1998)