关于coverity 的使用文档
来源:互联网 发布:怎么宣传淘宝店铺 编辑:程序博客网 时间:2024/06/03 14:46
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()函数的记录。
注:*************************************
- 关于coverity 的使用文档
- 关于coverity 的使用文档
- Coverity的安装使用及常见错误
- 一篇关于Matrix库的使用文档
- 关于phonegap 打开文档的插件使用
- 关于百度开发者文档的使用心得
- Linux Kernel 与Coverity的缘分-美人如玉剑如虹
- 关于本微博的文档的使用权限说明
- 工具coverity
- Coverity创业
- Fortify&Coverity
- Fortify&Coverity
- 关于几个HTML文档接口的使用探讨
- 关于几个HTML文档接口的使用探讨
- 关于几个HTML文档接口的使用探讨
- 关于P6Spy、SQL profiler和Irontrack SQL的使用文档
- 关于dnsmasq的使用配置和文档翻译
- 关于文档的作用
- ORACLE生成数据字典的语句
- Ubuntu 10.10 驱动开发环境IDE 配置 ---基于kate
- 提高VB6.0处理图像的速度的方法
- SRM 504.5 DIV2
- PHP网页抓取
- 关于coverity 的使用文档
- 关于coverity 的使用文档
- 软件设计的十二个步骤
- 转:Source Insight经典教程
- GInfoWindow()和GInfoWindowTabs()的应用
- div 拖动3(1)
- div 拖动3(2)
- 介绍几本数学书
- Android Google Map的简单使用(一)