程序编好后需要调试和检测，不经过调试的程序是靠不住的。Unix下调试一般使用dbx,Linux下肯定选择基于GNU的gdb。但调试过程中的core dump往往使你无从下手，虽然你可以用 gdb target core来看出问题时的状况，但如果core dump时堆栈被破坏掉了的话，将是很棘手的问题。
事实上问题之所以棘手的原因往往在于，早在core dump发生几百年前你的一个strcpy(sURL,&sSrcLine[iIdx]),就已经把内存搞的乱七八糟，但因为C语言的健壮性
Rational公司提供了完美的检测工具purify来帮助程序员解决以上问题，简而言之，purify就是Unix下C程序质量的保证。
但是，purify目前仅提供了对极少数商业Unix的支持，即Solaris,HP-UX,IRIX这三种最主流商业Unix.而对Linux,Free BSD等非主流但呈上升势头的Unix没有任何支持。所以在Linux下要用到一些其他工具。当然，因为这些工具都是免费的，所以在功能上都没有purify全面。
1.libefence
这个工具的用处是在内存越界时立刻产生core dump文件，这样就使你总是在问题刚发生时就解决之，避免内存越界问题的累积，防止你core dump时找不着北，此工具的用法很简单，它本身是一个lib,你只要在你的Makefile里加上 -lefence，然后将libefence.a放到gcc能找到的目录即可。
2.checkergcc
(to be continued)
注：
libefence 可以在http://sources.isc.org/index.shtml找到
checkergcc属于GNU Project，官方网址为http://www.gnu.org/software/checker/checker.html