关于coverity 的使用文档

 

1.      先阅读相关帮助文档 
       Administration Guide 6.6. Adding custom models with the cov-make-library command

Command Reference cov-make-library

2.      安装目录/library中有示例C文件。假设要增加my_malloc(),my_free()等函数,则先复制文件(malloc.c--> my_malloc.c)。修改my_malloc.c中的函数名称(malloc->my_malloc,free->my_free等)。

3.      使用cov-make-library编译:

D:/prevent/prevent-mingw/prevent-mingw-4.2.0/library/generic/common>cov-make-library --compiler qcc my_malloc.c

(默认应该会在安装目录/config下生成user_models.xmldb文件)

4.      完成。可以正常运行cov-build,cov-analyze和cov-commit-defects等命令了!

 

注:*************************************

其它函数可参考/library/generic/libc/all/all.c文件。和系统函数功能一样的,更改函数名即可。全新的函数则需要仔细研究all.c文件,有些了解后再自己写。

 

不可直接在all.c里修改。一定要复制一份,先把不需要修改的函数统统删除,然后改你要改的。再使用cov-make-library编译。

因为Prevent默认已经添加所有系统函数。编译后是增量增加,如printf(),不删除的话,Prevent里又会多一条完全一样的Printf()函数的记录。

注:*************************************

 

 

 

 

 

 

评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值