pclint 与coverity

来源:互联网 发布:nginx日志级别 编辑:程序博客网 时间:2024/05/18 20:34

代码检查分为静态检查与动态检查


静态检查软件:pclint 与coverity对程序代码的检查,超出语法的代码检查

动态检查:对程序运行时检查,主要针对内存和资源分配。



主要分析静态软件:

为初始化的变量

空指针引用

数据类型不匹配

返回局部变量

数组字符串边界溢出

内存泄漏