代码检查分为静态检查与动态检查
静态检查软件：pclint 与coverity对程序代码的检查，超出语法的代码检查
动态检查：对程序运行时检查，主要针对内存和资源分配。
主要分析静态软件：
为初始化的变量
空指针引用
数据类型不匹配
返回局部变量
数组字符串边界溢出
内存泄漏
