代码检查工具文档.docxVIP

代码检查工具一．内存泄漏的发生方式1）.常发性2）.偶发性3）.一次性.隐式二．代码检查的方式代码检查的方式分为静态代码检查（Static program analysis）和动态代码检查（Dynamic program analysis）。三．动态代码检查——Valgrind简单用法1）.valgrind包含的工具①.memcheck最常用的工具，也是valgrind默认的工具。用来检测程序中出现的内存问题，所有对内存的读写都会被检测到。一切对malloc()/free() 、new/delete的调用都会被捕获，所以它能检测以下问题：对未初始化内存的使用读/写释放后的内存块读/写超出malloc分配的内存块读/写不适当的栈中内存块内存泄漏，指向一块内存的指针永远丢失不正确的malloc/free或new/delete匹配Memcpy()相关函数中的dst和src指针重叠。②.callgrind，它不需要在编译源码时附加特殊选项，但推荐加上调试选项，callgrind搜集程序运行时的一些数据，建立函数调用关系图，还可以有选择的进行cache模拟，在运行结束时，它会把分析数据写入一个文件。简而言之，它主要用来检查程序中函数调用过程中出现的问题。③．cachegrind，它模拟CPU中的一级缓存和二级缓存，能够精确的指出程序中cache的丢失和命中。如果需要，它还能为我们提供cache丢失的次数，内存引用次数，以及每行代码、每个函数、每个模块、整个程序产生的指令数。对优化程序有很大帮助。④．helgrind，它主要用来检查多线程程序中出现的竞争问题。Helgrind寻找内存中被多个线程访问而又没有一贯加锁的区域，这些区域往往是线程之间失去同步的地方。而且会导致难以发掘的错误。⑤．massif，堆栈分析器，它能测量程序在堆栈中使用了多少内存，告诉我们堆块、堆管理块和栈的大小。它能帮助我们减少内存的使用，在带有虚拟内存的现代系统中，它还能加速我们的程序运行，减少程序停留在交换区中的几率。⑥.extension。可以利用core提供的功能，自己编写特定的内存调试工具。2）.valgrind的使用Valgrind[valgrind-options]your-prog [your-prog-options]选项作用-h/--help显示帮助信息-version显示valgrind内核版本-q/--quiet安静的运行，只打印错误信息-v /--verbose打印更详细的信息--tool=[default : memcheck]运行valgrind中的工具，默认memcheck.--leak-check=no|summary|full 要求对leak列出详细信息[default:summary]--log-file=file Path+日志信息文件3）.使用示例①.未释放内存，数组越界.sample.c#include stdlib.hvoid fun(){int *p = (int *)malloc(10*sizeof(int));p[10]=0;}int main(int argc , char *argv[]){fun();return 0;}1.编译：gcc –g sample.c –o sample2.使用valgrind:valgrind --leak-check=full ./sample输出信心分析如下图所示：示例程序中有两个问题，一是fun()函数中动态申请的堆内存没有释放。二是对堆内存的访问越界。②.使用未初始化的内存。badloop.c#include stdio.hint main(void){int a[5];int i ,s;a[0] = a[1] = a[2] = a[3] = a[4] =0;for(i = 0 ; i 5; i++)s += a[i];if(s== 168)printf(sum is %d\n , s);return 0;}1.编译：gcc –gbadloop.c –o badloop2.使用valgrind:valgrind --leak-check=full ./badloop输出信心分析如下图所示：③.内存读写越界。badacc.c#include stdio.h#include stdlib.hint main(void){int len = 4 , i;int *pt = (int *)malloc(len*sizeof(int));int *p = pt;for(i = 0 ; i len ; i++){p++;}*p = 5;printf(the value of p equal:%d\n , *p);return 0;}1.编译：gcc –gbadacc.c