改变程序的执行
———————
一旦使用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 <linespec>
指定下一条语句的运行点。<linespce>可以是文件的行号,可以是file:line格式,可以是+num这种偏移量格式。表式着下一条运行语句从哪里开始。
jump <address>
这里的<address>是代码行的内存地址。
注意,jump命令不会改变当前的程序栈中的内容,所以,当你从一个函数跳到另一个函数时,当函数运行完返回时进行弹栈操作时必然会发生错误,可能结果还是非常奇怪的,甚至于产生程序Core Dump。所以最好是同一个函数中进行跳转。
熟悉汇编的人都知道,程序运行时,有一个寄存器用于保存当前代码所在的内存地址。所以,jump命令也就是改变了这个寄存器中的值。于是,你可以使用“set $pc”来更改跳转执行的地址。如:
set $pc = 0x485
三、产生信号量
使用singal命令,可以产生一个信号量给被调试的程序。如:中断信号Ctrl+C。这非常方便于程序的调试,可以在程序运行的任意位置设置断点,并在该断点用GDB产生一个信号量,这种精确地在某处产生信号非常有利程序的调试。
语法是:signal <singal>,UNIX的系统信号量通常从1到15。所以<singal>取值也在这个范围。
single命令和shell的kill命令不同,系统的kill命令发信号给被调试程序时,是由GDB截获的,而single命令所发出一信号则是直接发给被调试程序的。
四、强制函数返回
如果你的调试断点在某个函数中,并还有语句没有执行完。你可以使用return命令强制函数忽略还没有执行的语句并返回。
return
return <expression>
使用return命令取消当前函数的执行,并立即返回,如果指定了<expression>,那么该表达式的值会被认作函数的返回值。
五、强制调用函数
call <expr>
表达式可以是函数,以此达到强制调用函数的目的。并显示函数的返回值,如果函数返回值是void,那么就不显示。
另一个相似的命令也可以完成这一功能——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下的软件全是命令行的,这给程序开发提代供了极大的便利,命令行软件的优势在于,它们可以非常容易的集成在一起,使用几个简单的已有工具的命令,就可以做出一个非常强大的功能。
于是UNIX下的软件比Windows下的软件更能有机地结合,各自发挥各自的长处,组合成更为强劲的功能。而Windows下的图形软件基本上是各自为营,互相不能调用,很不利于各种软件的相互集成。在这里并不是要和Windows做个什么比较,所谓“寸有所长,尺有所短”,图形化工具还是有不如命令行的地方。(看到这句话时,希望各位千万再也不要认为我就是“鄙视图形界面”,和我抬杠了 )
我是根据版本为5.1.1的GDB所写的这篇文章,所以可能有些功能已被修改,或是又有更为强劲的功能。而且,我写得非常仓促,写得比较简略,并且,其中我已经看到有许多错别字了(我用五笔,所以错字让你看不懂),所以,我在这里对我文中的差错表示万分的歉意。
文中所罗列的GDB的功能时,我只是罗列了一些带用的GDB的命令和使用方法,其实,我这里只讲述的功能大约只占GDB所有功能的60%吧,详细的文档,还是请查看GDB的帮助和使用手册吧,或许,过段时间,如果我有空,我再写一篇GDB的高级使用。
我个人非常喜欢GDB的自动调试的功能,这个功能真的很强大,试想,我在UNIX下写个脚本,让脚本自动编译我的程序,被自动调试,并把结果报告出来,调试成功,自动checkin源码库。一个命令,编译带着调试带着checkin,多爽啊。只是GDB对自动化调试目前支持还不是很成熟,只能实现半自动化,真心期望着GDB的自动化调试功能的成熟。
1)使用GCC编译时加参数 –g 例:gcc tmp01.c –o tmp01 -g
2)gdb tmp01
3)(gdb) l : 查看载入的文件(list)
4)(gdb) b 6 : 在第6行处设置断点
5)(gdb) info b : 查看设置的断点情况
6)(gdb) r : 开始运行程序,+行号可以从指定行开始运行
7)(gdb) p n : 查看变量的值
8)(gdb) watch n : 设置观察点(变量)
9)(gdb) n : 单步运行(next)
10) (gdb) c : 程度继续运行(continue)
GDB中常见断点设置与删除指令 |
| |
break+设置断点的行号 | 用于在程序中对应行设置断点 |
|
tbreak+行号或函数名 | 设置临时断点,到达后被自动删除 |
|
break+filename+行号 | 用于在指定文件的对应行设置断点 |
|
break+<0x..> | 用于在内存某一位置处暂停 |
|
break+行号+if+条件 | 用于设置条件断点,在循环中使用非常方便 |
|
info breakpoints/watchpoints | 查看断点/观察点的情况 |
|
clear+要清除断点的行号 | 用于清除对应行的断点 |
|
delete+要清除断点的编号 | 用于清除断点和自动显示的表达式的命令。与clear的不同之处:clear要给出断点的行号,delete要给出断点的编号。用clear命令清除断点时GDB会给出提示,而用delete清除断点时GDB不会给出任何提示。 |
|
disable+断点编号 | 让所设断点暂时失效。如果要让多个编号处的断点失效可将编号之间用空格隔开。 |
|
enable+断点编号 | 与disable相反 |
|
awatch+变量 | 设置一个观察点,当变量被读出或写入时程序被暂停 |
|
rwatch+变量 | 设置一个观察点,当变量被程序读时,程序被暂停 |
|
watch | 同awatch |
|
GDB中数据相关指令 |
| |
display+表达式 | 该命令用于显示表达式的值,使用了该命令后,每当程序运行到断点处都会显示表达式的值 |
|
info display | 用于显示当前所有要显示值的表达式的有关情况 |
|
delete+display 编号 | 用于删除一个要显示价目表的表达工,调用这个命令删除一个表达式后,被删除的表达式将不被显示 |
|
disable+display 编号 | 使一个要显示的表达式暂时无效 |
|
enable+display 编号 | disable display 的反操作 |
|
undisplay+display 编号 | 用于结束某个表达式值的显示 |
|
whatis+变量 | 显示某个表达式的数据类型 |
|
print(p)+变量或表达式 | 用于打印变量或表达式的值 |
|
set+变量=变量值 | 改变程序中一个变量的值 |
|
GDB调试运行环境相关命令 | ||
set args | 设置运行参数 | |
show args | 参看运行参数 | |
set width+数目 | 设置GDB的行宽 | |
cd+工作目录 | 切换工作目录 | |
run | 程序开始执行 | |
step(s) | 进入式(会进入到所调用的子函数中)单步执行 | |
next(n) | 非进入式(不会进入到时所调用的子函数中)单步执行 | |
finish | 一直运行到函数返回 | |
until+行数 | 运行到函数某一行 | |
continue(c) | 执行到下一断点或程序结束 | |
return <返回值> | 改变程序流程,直接结束当前函数,并将指定值返回 | |
call+函数 | 在当前位置执行所要运行的函数 | |
GDB中堆栈相关命令 | ||
backtrace/bt | 用来打印栈侦指针,也可以在该命令后加上要打印的栈侦指针的个数 | |
frame | 用于打印栈侦 | |
info reg | 查看寄存器的使用情况 | |
info stack | 查看堆栈情况 | |
up | 跳到上一层函数 | |
down | 与up相对 |