程序编好后需要调试和检测,不经过调试的程序是靠不住的。Unix下调试一般使用dbx,Linux下肯 定选择基于GNU的gdb。但调试过程中的core dump往往使你无从下手,虽然你可以用 gdb target core来看出问题时的状况,但如果core dump时堆栈被破坏掉了的话,将是很棘手的问题。
事实上问题之所以棘手的原因往往在于,早在core dump发生几百年前你的一个strcpy(sURL,&sSrcLine[iIdx]),就已经把内存搞的乱七八糟,但因为C语言的健壮性和C编译器保持沉默的高级特性 使得你无法仅仅通过core文件就能轻松找的产生问题的真正语句。
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