关于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()函数的记录。

注：*************************************