分类: LINUX
2008-05-09 12:58:55
查看源程序
—————
一、显示源代码
GDB 可以打印出所调试程序的源代码,当然,在程序编译时一定要加上 -g 的参数,把源程序信息编译到执行文件中。不然就看不到源程序了。当程序停下来以后, GDB 会报告程序停在了那个文件的第几行上。你可以用 list 命令来打印程序的源代码。还是来看一看查看源代码的 GDB 命令吧。
list
list
list
显示当前行后面的源程序。
list -
显示当前行前面的源程序。
一般是打印当前行的上 5 行和下 5 行,如果显示函数是是上 2 行下 8 行,默认是 10 行,当然,你也可以定制显示的范围,使用下面命令可以设置一次显示源程序的行数。
set listsize
show listsize
查看当前 listsize 的设置。
list 命令还有下面的用法:
list
list ,
list +
往后显示源代码。
一般来说在 list 后面可以跟以下这们的参数:
<+offset> 当前行号的正偏移量。
<-offset> 当前行号的负偏移量。
<*address> 程序运行时的语句在内存中的地址。
二、搜索源代码
不仅如此, GDB 还提供了源代码搜索的命令:
forward-search
search
reverse-search
其中,
三、指定源文件的路径
某些时候,用 -g 编译过后的执行程序中只是包括了源文件的名字,没有路径名。 GDB 提供了可以让你指定源文件的路径的命令,以便 GDB 进行搜索。
directory
dir
directory
清除所有的自定义的源文件搜索路径信息。
show directories
显示定义了的源文件搜索路径。
四、源代码的内存
你可以使用 info line 命令来查看源代码在内存中的地址。 info line 后面可以跟 “ 行号 ” , “ 函数名 ” , “ 文件名 : 行号 ” , “ 文件名 : 函数名 ” ,这个命令会打印出所指定的源码在运行时的内存地址,如:
(gdb) info line tst.c:func
Line 5 of "tst.c" starts at address 0x8048456
还有一个命令( disassemble )你可以查看源程序的当前执行时的机器码,这个命令会把目前内存中的指令 dump 出来。如下面的示例表示查看函数 func 的汇编代码。
(gdb) disassemble func
Dump of assembler code for function func:
0x8048450
0x8048451
0x8048453
0x8048456
0x804845d
0x8048464
0x8048467
0x804846a
0x804846c
0x804846e
0x8048470
0x8048473
0x8048476
0x8048479
0x804847b
0x804847c
0x8048480
0x8048483
0x8048485
0x8048487
0x8048489
0x804848a
End of assembler dump.
查看运行时数据
———————
在你调试程序时,当程序被停住时,你可以使用 print 命令(简写命令为 p ),或是同义命令 inspect 来查看当前程序的运行数据。 print 命令的格式是:
print
print /
一、表达式
print 和许多 GDB 的命令一样,可以接受一个表达式, GDB 会根据当前的程序运行的数据来计算这个表达式,既然是表达式,那么就可以是当前程序运行中的 const 常量、变量、函数等内容。可惜的是 GDB 不能使用你在程序中所定义的宏。
表达式的语法应该是当前所调试的语言的语法,由于 C/C++ 是一种大众型的语言,所以,本文中的例子都是关于 C/C++ 的。(而关于用 GDB 调试其它语言的章节,我将在后面介绍)
在表达式中,有几种 GDB 所支持的操作符,它们可以用在任何一种语言中。
@
是一个和数组有关的操作符,在后面会有更详细的说明。
::
指定一个在文件或是一个函数中的变量。
{
二、程序变量
在 GDB 中,你可以随时查看以下三种变量的值:
1 、全局变量(所有文件可见的)
2 、静态全局变量(当前文件可见的)
3 、局部变量(当前 Scope 可见的)
如果你的局部变量和全局变量发生冲突(也就是重名),一般情况下是局部变量会隐藏全局变量,也就是说,如果一个全局变量和一个函数中的局部变量同名时,如果当前停止点在函数中,用 print 显示出的变量的值会是函数中的局部变量的值。如果此时你想查看全局变量的值时,你可以使用 “ :: ” 操作符:
file::variable
function::variable
可以通过这种形式指定你所想查看的变量,是哪个文件中的或是哪个函数中的。例如,查看文件 f2.c 中的全局变量 x 的值:
gdb) p 'f2.c'::x
当然, “ :: ” 操作符会和 C++ 中的发生冲突, GDB 能自动识别 “ :: ” 是否 C++ 的操作符,所以你不必担心在调试 C++ 程序时会出现异常。
另外,需要注意的是,如果你的程序编译时开启了优化选项,那么在用 GDB 调试被优化过的程序时,可能会发生某些变量不能访问,或是取值错误码的情况。这个是很正常的,因为优化程序会删改你的程序,整理你程序的语句顺序,剔除一些无意义的变量等,所以在 GDB 调试这种程序时,运行时的指令和你所编写指令就有不一样,也就会出现你所想象不到的结果。对付这种情况时,需要在编译程序时关闭编译优化。一般来说,几乎所有的编译器都支持编译优化的开关,例如, GNU 的 C/C++ 编译器 GCC ,你可以使用 “ -gstabs ” 选项来解决这个问题。关于编译器的参数,还请查看编译器的使用说明文档。
三、数组
有时候,你需要查看一段连续的内存空间的值。比如数组的一段,或是动态分配的数据的大小。你可以使用 GDB 的 “ @ ” 操作符, “ @ ” 的左边是第一个内存的地址的值, “ @ ” 的右边则你你想查看内存的长度。例如,你的程序中有这样的语句:
int *array = (int *) malloc (len * sizeof (int));
于是,在 GDB 调试过程中,你可以以如下命令显示出这个动态数组的取值:
p *array@len
@ 的左边是数组的首地址的值,也就是变量 array 所指向的内容,右边则是数据的长度,其保存在变量 len 中,其输出结果,大约是下面这个样子的:
(gdb) p *array@len
$1 = {2, 4, 6, 8, 10, 12, 14, 16, 18, 20, 22, 24, 26, 28, 30, 32, 34, 36, 38, 40}
如果是静态数组的话,可以直接用 print 数组名,就可以显示数组中所有数据的内容了。
四、输出格式
一般来说, GDB 会根据变量的类型输出变量的值。但你也可以自定义 GDB 的输出的格式。例如,你想输出一个整数的十六进制,或是二进制来查看这个整型变量的中的位的情况。要做到这样,你可以使用 GDB 的数据显示格式:
x 按十六进制格式显示变量。
d 按十进制格式显示变量。
u 按十六进制格式显示无符号整型。
o 按八进制格式显示变量。
t 按二进制格式显示变量。
a 按十六进制格式显示变量。
c 按字符格式显示变量。
f 按浮点数格式显示变量。
(gdb) p i
$21 = 101
(gdb) p/a i
$22 = 0x65
(gdb) p/c i
$23 = 101 'e'
(gdb) p/f i
$24 = 1.41531145e-43
(gdb) p/x i
$25 = 0x65
(gdb) p/t i
$26 = 1100101
五、查看内存
你可以使用 examine 命令(简写是 x )来查看内存地址中的值。 x 命令的语法如下所示:
x/
n
n 是一个正整数,表示显示内存的长度,也就是说从当前地址向后显示几个地址的内容。
f 表示显示的格式,参见上面。如果地址所指的是字符串,那么格式可以是 s ,如果地十是指令地址,那么格式可以是 i 。
u 表示从当前地址往后请求的字节数,如果不指定的话, GDB 默认是 4 个 bytes 。 u 参数可以用下面的字符来代替, b 表示单字节, h 表示双字节, w 表示四字节, g 表示八字节。当我们指定了字节长度后, GDB 会从指内存定的内存地址开始,读写指定字节,并把其当作一个值取出来。
n/f/u 三个参数可以一起使用。例如:
命令: x/3uh 0x54320 表示,从内存地址 0x54320 读取内容, h 表示以双字节为一个单位, 3 表示三个单位, u 表示按十六进制显示。
六、自动显示
你可以设置一些自动显示的变量,当程序停住时,或是在你单步跟踪时,这些变量会自动显示。相关的 GDB 命令是 display 。
display
display/
display/
expr
格式 i 和 s 同样被 display 支持,一个非常有用的命令是:
display/i $pc
$pc 是 GDB 的环境变量,表示着指令的地址, /i 则表示输出格式为机器指令码,也就是汇编。于是当程序停下后,就会出现源代码和机器指令码相对应的情形,这是一个很有意思的功能。
下面是一些和 display 相关的 GDB 命令:
undisplay
delete display
disable display
enable display
disable
info display
查看 display 设置的自动显示的信息。 GDB 会打出一张表格,向你报告当然调试中设置了多少个自动显示设置,其中包括,设置的编号,表达式,是否 enable 。
七、设置显示选项
GDB 中关于显示的选项比较多,这里我只例举大多数常用的选项。
set print address
set print address on
打开地址输出,当程序显示函数信息时, GDB 会显出函数的参数地址。系统默认为打开的,如:
(gdb) f
#0 set_quotes (lq=0x34c78 "<<", rq=0x34c88 ">>")
at input.c:530
530 if (lquote != def_lquote)
set print address off
关闭函数的参数地址显示,如:
(gdb) set print addr off
(gdb) f
#0 set_quotes (lq="<<", rq=">>") at input.c:530
530 if (lquote != def_lquote)
show print address
查看当前地址显示选项是否打开。
set print array
set print array on
打开数组显示,打开后当数组显示时,每个元素占一行,如果不打开的话,每个元素则以逗号分隔。这个选项默认是关闭的。与之相关的两个命令如下,我就不再多说了。
set print array off
show print array
set print elements
show print elements
查看 print elements 的选项信息。
set print null-stop
set print pretty on
如果打开 printf pretty 这个选项,那么当 GDB 显示结构体时会比较漂亮。如:
$1 = {
next = 0x0,
flags = {
sweet = 1,
sour = 1
},
meat = 0x54 "Pork"
}
set print pretty off
关闭 printf pretty 这个选项, GDB 显示结构体时会如下显示:
$1 = {next = 0x0, flags = {sweet = 1, sour = 1}, meat = 0x54 "Pork"}
show print pretty
查看 GDB 是如何显示结构体的。
set print sevenbit-strings
show print sevenbit-strings
查看字符显示开关是否打开。
set print union
typedef enum {Tree, Bug} Species;
typedef enum {Big_tree, Acorn, Seedling} Tree_forms;
typedef enum {Caterpillar, Cocoon, Butterfly}
Bug_forms;
struct thing {
Species it;
union {
Tree_forms tree;
Bug_forms bug;
} form;
};
struct thing foo = {Tree, {Acorn}};
当打开这个开关时,执行 p foo 命令后,会如下显示:
$1 = {it = Tree, form = {tree = Acorn, bug = Cocoon}}
当关闭这个开关时,执行 p foo 命令后,会如下显示:
$1 = {it = Tree, form = {...}}
show print union
查看联合体数据的显示方式
set print object
show print object
查看对象选项的设置。
set print static-members
show print static-members
查看静态数据成员选项设置。
set print vtbl
show print vtbl
查看虚函数显示格式的选项。
八、历史记录
当你用 GDB 的 print 查看程序运行时的数据时,你每一个 print 都会被 GDB 记录下来。 GDB 会以 $1, $2, $3 ..... 这样的方式为你每一个 print 命令编上号。于是,你可以使用这个编号访问以前的表达式,如 $1 。这个功能所带来的好处是,如果你先前输入了一个比较长的表达式,如果你还想查看这个表达式的值,你可以使用历史记录来访问,省去了重复输入。
九、 GDB 环境变量
你可以在 GDB 的调试环境中定义自己的变量,用来保存一些调试程序中的运行数据。要定义一个 GDB 的变量很简单只需。使用 GDB 的 set 命令。 GDB 的环境变量和 UNIX 一样,也是以 $ 起头。如:
set $foo = *object_ptr
使用环境变量时, GDB 会在你第一次使用时创建这个变量,而在以后的使用中,则直接对其賦值。环境变量没有类型,你可以给环境变量定义任一的类型。包括结构体和数组。
show convenience
该命令查看当前所设置的所有的环境变量。
这是一个比较强大的功能,环境变量和程序变量的交互使用,将使得程序调试更为灵活便捷。例如:
set $i = 0
print bar[$i++]->contents
于是,当你就不必, print bar[0]->contents, print bar[1]->contents 地输入命令了。输入这样的命令后,只用敲回车,重复执行上一条语句,环境变量会自动累加,从而完成逐个输出的功能。
十、查看寄存器
要查看寄存器的值,很简单,可以使用如下命令:
info registers
查看寄存器的情况。(除了浮点寄存器)
info all-registers
查看所有寄存器的情况。(包括浮点寄存器)
info registers
寄存器中放置了程序运行时的数据,比如程序当前运行的指令地址( ip ),程序的当前堆栈地址( sp )等等。你同样可以使用 print 命令来访问寄存器的情况,只需要在寄存器名字前加一个 $ 符号就可以了。如: p $eip 。
改变程序的执行
———————
一旦使用 GDB 挂上被调试程序,当程序运行起来后,你可以根据自己的调试思路来动态地在 GDB 中更改当前被调试程序的运行线路或是其变量的值,这个强大的功能能够让你更好的调试你的程序,比如,你可以在程序的一次运行中走遍程序的所有分支。
一、修改变量值
修改被调试程序运行时的变量值,在 GDB 中很容易实现,使用 GDB 的 print 命令即可完成。如:
(gdb) print x=4
x=4 这个表达式是 C/C++ 的语法,意为把变量 x 的值修改为 4 ,如果你当前调试的语言是 Pascal ,那么你可以使用 Pascal 的语法: x:=4 。
在某些时候,很有可能你的变量和 GDB 中的参数冲突,如:
(gdb) whatis width
type = double
(gdb) p width
$4 = 13
(gdb) set width=47
Invalid syntax in expression.
因为, set width 是 GDB 的命令,所以,出现了 “ Invalid syntax in expression ” 的设置错误,此时,你可以使用 set var 命令来告诉 GDB , width 不是你 GDB 的参数,而是程序的变量名,如:
(gdb) set var width=47
另外,还可能有些情况, GDB 并不报告这种错误,所以保险起见,在你改变程序变量取值时,最好都使用 set var 格式的 GDB 命令。
二、跳转执行
一般来说,被调试程序会按照程序代码的运行顺序依次执行。 GDB 提供了乱序执行的功能,也就是说, GDB 可以修改程序的执行顺序,可以让程序执行随意跳跃。这个功能可以由 GDB 的 jump 命令来完:
jump
jump
这里的 是代码行的内存地址。
注意, jump 命令不会改变当前的程序栈中的内容,所以,当你从一个函数跳到另一个函数时,当函数运行完返回时进行弹栈操作时必然会发生错误,可能结果还是非常奇怪的,甚至于产生程序 Core Dump 。所以最好是同一个函数中进行跳转。
熟悉汇编的人都知道,程序运行时,有一个寄存器用于保存当前代码所在的内存地址。所以, jump 命令也就是改变了这个寄存器中的值。于是,你可以使用 “ set $pc ” 来更改跳转执行的地址。如:
set $pc = 0x485
三、产生信号量
使用 singal 命令,可以产生一个信号量给被调试的程序。如:中断信号 Ctrl+C 。这非常方便于程序的调试,可以在程序运行的任意位置设置断点,并在该断点用 GDB 产生一个信号量,这种精确地在某处产生信号非常有利程序的调试。
语法是: signal
single 命令和 shell 的 kill 命令不同,系统的 kill 命令发信号给被调试程序时,是由 GDB 截获的,而 single 命令所发出一信号则是直接发给被调试程序的。
四、强制函数返回
如果你的调试断点在某个函数中,并还有语句没有执行完。你可以使用 return 命令强制函数忽略还没有执行的语句并返回。
return
return
五、强制调用函数
call
另一个相似的命令也可以完成这一功能 —— print , print 后面可以跟表达式,所以也可以用他来调用函数, print 和 call 的不同是,如果函数返回 void , call 则不显示, print 则显示函数返回值,并把该值存入历史数据中。
在不同语言中使用 GDB
——————————
GDB 支持下列语言: C, C++, Fortran, PASCAL, Java, Chill, assembly, 和 Modula-2 。一般说来, GDB 会根据你所调试的程序来确定当然的调试语言,比如:发现文件名后缀为 “ .c ” 的, GDB 会认为是 C 程序。文件名后缀为 “ .C, .cc, .cp, .cpp, .cxx, .c++ ” 的, GDB 会认为是 C++ 程序。而后缀是 “ .f, .F ” 的, GDB 会认为是 Fortran 程序,还有,后缀为如果是 “ .s, .S ” 的会认为是汇编语言。
也就是说, GDB 会根据你所调试的程序的语言,来设置自己的语言环境,并让 GDB 的命令跟着语言环境的改变而改变。比如一些 GDB 命令需要用到表达式或变量时,这些表达式或变量的语法,完全是根据当前的语言环境而改变的。例如 C/C++ 中对指针的语法是 *p ,而在 Modula-2 中则是 p^ 。并且,如果你当前的程序是由几种不同语言一同编译成的,那到在调试过程中, GDB 也能根据不同的语言自动地切换语言环境。这种跟着语言环境而改变的功能,真是体贴开发人员的一种设计。
下面是几个相关于 GDB 语言环境的命令:
show language
查看当前的语言环境。如果 GDB 不能识为你所调试的编程语言,那么, C 语言被认为是默认的环境。
info frame
查看当前函数的程序语言。
info source
查看当前文件的程序语言。
如果 GDB 没有检测出当前的程序语言,那么你也可以手动设置当前的程序语言。使用 set language 命令即可做到。
当 set language 命令后什么也不跟的话,你可以查看 GDB 所支持的语言种类:
(gdb) set language
The currently understood settings are:
local or auto Automatic setting based on source file
c Use the C language
c++ Use the C++ language
asm Use the Asm language
chill Use the Chill language
fortran Use the Fortran language
java Use the Java language
modula-2 Use the Modula-2 language
pascal Use the Pascal language
scheme Use the Scheme language
于是你可以在 set language 后跟上被列出来的程序语言名,来设置当前的语言环境。
后记
——
GDB 是一个强大的命令行调试工具。大家知道命令行的强大就是在于,其可以形成执行序列,形成脚本。 UNIX 下的全是命令行的,这给程序开发提代供了极大的便利,命令行软件的优势在于,它们可以非常容易的集成在一起,使用几个简单的已有工具的命令,就可以做出一个非常强大的功能。