C程序漏洞检查，可以检查变量未初始化、空指针使用、数组溢出等错误--loophole inspecting for C program , and it can inspect many mistakes including non initialization of variables, usage of null pointers and array overflow etc