coverity代码检查工具的简单使用

一、说明
coverity是一款代码静态检查工具,可以检测出如以下代码问题。并会将检测结果以HTML的页面体现出来:
1.列出不会被执行到的代码
2.列出没被初始化的类成员变量
3.列出没有被捕获的异常
4.列出没有给出返回值的return语句
5.某个函数虽然有返回值,但调用该函数的地方没有用到它的返回值,这也会被列出来
6.列出没有被回收的new出来的对象
7.列出没有被关闭的句柄
8.精确定位到代码行,并提供逐层展开函数的功能
9.列出可能的数值类型溢出。例如,无符号int数做 ++ 操作,可能导致int溢出,都会被检测到。
10.什么地方该用&位运算,而不应该用|位运算,都能定位出来并作出建议
11.ostream在一个函数中被修改了格式,但退出该函数之后没有将ostream恢复成先前的格式,也会被检测到
……
二、使用
内部使用企业版,是已经部署好的。直接可以使用命令检测输出结果:
1.对代码进行coverity清除和重编:
cov-build --dir coverity bash -c ’ make clean && make -j6’
2.获取权限:
cov-analyze --dir coverity --all --wait-for-license
3.生成检测报告:
cov-format-errors --dir coverity --html-output coverity_html
在这里插入图片描述
同时会在,执行命令的同级目录生成检测报告文件
在这里插入图片描述

你可能感兴趣的:(工具使用)