调试器(Debugger) 调试器：一种软件工具，可辅助用户装载程序并控制 程序运行，进而定位软件错误 ■调试器分类 通用调试器：SoftICE、OlyDbg、WinDbg、IDAPro. 专用调试器：随编程语言开发工具提供，比如随VS、 Eclipse、 Codeblocks等IDE提供的调试器，以及gdb等命令行 调试器 程序运行无错误或调试无错误并不表示程序正确，调 试只能证明程序包含错误，不能证明程序正确，程序 正确性需要形式化证明才能保证 ■但现实世界中，调试器仍然具有重要作用 调试器：一种软件工具，可辅助用户装载程序并控制 程序运行，进而定位软件错误  调试器分类 通用调试器：SoftICE、OlyDbg、WinDbg、IDAPro… 专用调试器：随编程语言开发工具提供，比如随VS 、 Eclipse、Codeblocks等IDE提供的调试器，以及gdb等命令行 调试器  程序运行无错误或调试无错误并不表示程序正确，调 试只能证明程序包含错误，不能证明程序正确，程序 正确性需要形式化证明才能保证  但现实世界中，调试器仍然具有重要作用 调试器(Debugger) 6