การตั้งจุดหยุดและการประมวลผลทีละขั้น

When analyzing programs dynamically, it's crucial to pause execution at specific points to inspect variables, memory, and registers. This helps us understand what the program is doing step-by-step.

This lesson will show you how to use breakpoints to pause execution and stepping commands to navigate through the code line by line.

A breakpoint is like a 'stop sign' you place in your code. When the program reaches a line with a breakpoint, it pauses execution and gives control back to your debugger.

• They allow you to freeze the program's state.
• You can then examine variables, memory, and CPU registers.
• This is essential for understanding complex logic or identifying bugs/vulnerabilities.

The most common type is a code breakpoint (also called an instruction breakpoint). This pauses execution just before a specific instruction is run.

There are also data breakpoints (or watchpoints) which pause when a specific memory address is accessed or changed. We'll focus on code breakpoints for now.

Let's use this simple C program to demonstrate breakpoints and stepping. It has a few functions to help us trace execution.

In a debugger (like GDB), you typically set a breakpoint by specifying a function name or a line number. For example, to set a breakpoint at the start of our calculate function:

• break calculate (GDB)
• b example.c:11 (GDB, for line 11)

Once set, when you 'run' the program, it will execute normally until it hits this point.

After setting a breakpoint, you'd usually issue a 'run' command (e.g., run in GDB). The program will start executing.

When the program counter reaches the instruction where the breakpoint is set, execution immediately halts. The debugger then shows you the current line of code and awaits your next command.

Once execution is paused at a breakpoint, stepping allows you to execute the program one instruction or one source line at a time. This gives you fine-grained control over the program's flow.

There are different stepping commands for various scenarios, each with a specific behavior when encountering function calls.

The step over command (often next in GDB) executes the current line of code. If the current line contains a function call, it executes the entire function and then stops at the next line *after* the function call.

Use next when you trust a function or aren't interested in its internal workings, just its return value.

The step into command (often step in GDB) also executes the current line. However, if the current line contains a function call, it will pause execution at the first instruction inside that function.

Use step when you want to examine the internal logic of a function that is being called.

The step out command (often finish in GDB) is used when you've stepped into a function and now want to quickly exit it.

It executes the remainder of the current function and then stops at the line *after* the function call returns in the calling function. This saves you from stepping through every line of a function you're no longer interested in.

Consider the `calculate` function from our example. You set a breakpoint at line 11 (int result = multiply(x, y);) and run the program. When it hits the breakpoint, you use the step command. Where will execution pause next?

You've learned how breakpoints pause program execution at specific points, allowing you to examine its state. We covered:

• Breakpoints: 'Stop signs' in code.
• Running to breakpoints: Halts execution at desired points.
• Stepping: Executing code line-by-line.
• Step Over (next): Executes function calls fully.
• Step Into (step): Enters function calls.
• Step Out (finish): Exits the current function.

Mastering these debugger commands is fundamental for effective dynamic analysis and reverse engineering!