如何使用 GDB 调试 jonesforth？

Question

jonesforth 通常按如下方式启动：

cat jonesforth.f  - | ./jonesforth

有什么好的调试方法吗jonesforth？

Answer 1

在Ubuntu上？

如果您使用的是 Ubuntu，请允许gdb附加到正在运行的进程：

echo 0 > /proc/sys/kernel/yama/ptrace_scope

如果您希望在重新启动后保留该设置：

vim /etc/sysctl.d/10-ptrace.conf

更新Makefile

将g标志添加到您的jonesforth Makefile食谱中：

jonesforth: jonesforth.S
    gcc -g -m32 -nostdlib -static $(BUILD_ID_NONE) -o $@ $<

启动gdb

然后，像往常一样在终端中启动 jonesforth：

cat jonesforth.f - | ./jonesforth

在另一个终端中，启动gdb并将其附加到正在运行的 jonesforth：

gdb --quiet --pid=`pgrep jonesforth`  ./jonesforth 

示例会话

这是我开始时看到的gdb：

$ gdb --quiet --pid=`pgrep jonesforth`  ./jonesforth 
Reading symbols from ./jonesforth...done.
Attaching to program: /home/dharmatech/Dropbox/Documents/jonesforth-annexia/jonesforth, process 3406
_KEY () at jonesforth.S:1290
1290        test %eax,%eax      // If %eax <= 0, then exit.
(gdb) 

琼斯福斯正在等待我们输入一些内容。这是在_KEY装配例程中。这是gdb上面所指出的。它还表明第 1290 行是下一个要执行的行。这是_KEY例程：

_KEY:
    mov (currkey),%ebx
    cmp (bufftop),%ebx
    jge 1f          // exhausted the input buffer?
    xor %eax,%eax
    mov (%ebx),%al      // get next key from input buffer
    inc %ebx
    mov %ebx,(currkey)  // increment currkey
    ret

1:  // Out of input; use read(2) to fetch more input from stdin.
    xor %ebx,%ebx       // 1st param: stdin
    mov $buffer,%ecx    // 2nd param: buffer
    mov %ecx,currkey
    mov $BUFFER_SIZE,%edx   // 3rd param: max length
    mov $__NR_read,%eax // syscall: read
    int $0x80
    test %eax,%eax      // If %eax <= 0, then exit.
    jbe 2f
    addl %eax,%ecx      // buffer+%eax = bufftop
    mov %ecx,bufftop
    jmp _KEY

2:  // Error or end of input: exit the program.
    xor %ebx,%ebx
    mov $__NR_exit,%eax // syscall: exit
    int $0x80

_KEY使用内存中的一些变量：buffer、currkey和bufftop。它还使用几个寄存器。让我们使用 的gdb功能Auto Display来显示这些：

display/8cb &buffer
display/1xw &currkey
display/1xw &bufftop
display/x   $eax
display/x   $ebx

现在，如果我们输入display，gdb我们将立即看到所有这些：

(gdb) display
1: x/8cb &buffer
0x804c000:  97 'a'  98 'b'  108 'l' 121 'y' 46 '.'  32 ' '  32 ' '  84 'T'
2: x/xw &currkey  0x8049d54:    0x0804c000
3: x/xw &bufftop  0x8049d58:    0x0804c7e3
4: /x $eax = 0xfffffe00
5: /x $ebx = 0x0

gdb这也可能是启用 的TUI 的好时机：

tui enable

gdb 现在应该如下所示：

好的，琼斯福斯仍在等待输入。所以让我们给它一些东西：

JONESFORTH VERSION 47 
14499 CELLS REMAINING
OK 123

好吧，回到 gdb，我们终于可以让它执行步骤了：

(gdb) s
1: x/8cb &buffer
0x804c000:      49 '1'  50 '2'  51 '3'  10 '\n' 46 '.'  32 ' '  32 ' '  84 'T'
2: x/xw &currkey  0x8049d54:    0x0804c000
3: x/xw &bufftop  0x8049d58:    0x0804c7e3
4: /x $eax = 0x4
5: /x $ebx = 0x0

嘿，看看那个！中的前 3 个字符buffer是1、2、 和3。

如果%eax <= 0下一步会跳转到该2f标签。但正如我们在上面看到的，%eax是4. 所以它应该继续下去。

如果我们单步执行接下来的三行，bufftop将被设置为增加 4 的地址buffer（三个字符“123”加上一个换行符）。与签出地址相关的值buffer：

3: x/xw &bufftop  0x8049d58:    0x0804c004

现在数据已读入输入缓冲区，_KEY将完成其工作并返回给调用者。以下是退货前的几条说明：

当您逐步执行这些操作时，自动显示功能将显示相应更新的变量和寄存器。