软件调试技术.pptVIP

* * This helps you build an intuition for the flow in your program… * * * * * * * * * * * * * * * * GDB调试器 两种启动方式 gdb binary (to run binary inside of gdb) gdb binary core-file (to debug crashed program) GDB命令 Controlling Execution run cmd-line args break func step Next control-c Getting Info backtrace print expr info locals list up/down GDB调试器 使用 GDB 的一般步骤: (1) Build with –g gcc217 –g testintmath.c –o testintmath (2) Run Emacs, with no arguments emacs (3) Run GDB on executable file in Emacs Esc x gdb Enter testintmath Enter (4) Set breakpoints, as desired break main break gcd (5) Run the program run - stops at the breakpoint in main() continue - stops at the breakpoint in gcd() GDB调试器 使用 GDB 的一般步骤: (6) Step through the program step - executes the next line, or steps into a function next - steps over the function (7) Examine variables, as desired print i - prints the value of each variable (8) Examine the function call stack, if desired Where - prints the function call stack (9) Exit gdb quit (10) Exit xemacs Ctrl-x Ctrl-c GDB in Emacs Note the arrow in the left source file window shows the line being executed! 调试器原理 进程如何在断点处挂起 进程如何单步执行 调试器如何获得变量值 调试器如何获得寄存器值 调试器如何获得调用栈 调试器如何截获异常 进程如何在断点处挂起 断点管理器 调试器 核心模块 原始程序 指令流 加断点后 指令流 0xCC 断点 MOV AH,BH 触发异常 记录断点处的原指令 断点编号等 中断处理 恢复执行 进程如何单步执行 调试器 核心模块 程序 指令流 MOV AH,BH 单步异常 单步执行 CPU Trap标志位 设置 中断处理 调试器如何获得变量值 关键问题 进程中可以以地址来标识变量、函数，但是不知道每个地址的含义，不知道地址对应的名称，也就无法帮助调试 调试器使用符号表来从地址获得变量名 符号信息由Compiler和Linker建立，是一组映射关系 符号信息的内容 地址对应的变量名 地址对应的函数名 指令对应的文件，及其行号 数据结构的信息等 调试器如何获得变量值 符号信息的保存 Debug版程序：附加到PE文件中 Release版：单独的符号文件 DBG文件 PDB文件 Map文件 Release版经过优化之后，一些变量和函数可能都没有了，并不是每个代码实体都能够在运行时追踪到 调试器原理 调试器如何获得寄存器值 CPU自身提供的机制 调试器如何获得调用栈 操作系统机制加符号映射表 调试器如何截获异常 操作系统机制 从手工调试到自动调试 从手工调试到自动调试 自动定位错误 自动验证错误 自动修复错误 自动定位错误 错误定位方法 基于切片的方法 定位范围偏大 基于模型的方法 优雅，但适用条件复杂，效果仍有待更多评估 基于测试的方法 使用测试信息来辅助调试，实用性强，效果好 基于切片的方法 1 main( ) 2 { 3 int i, sum; 4 sum = 0; 5 i = 1; 6 while(i = 10) 7 { 8 sum = sum +