1. 先閱讀相關幫助文件
administration guide6.6. adding custom models with the cov-make-library command
command referencecov-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 2018新版使用手冊 1
coverity wizard 是讓您通過直觀的圖形使用者介面輕鬆完成以下 coverity analysis 任務的實用程式 這些流程原來只能通過多個命令列介面工具來完成。coverity wizard 允許您使用乙個集中工具來完成這些任務。2.1.要求2.2.關於coverity wizard ...
關於介面文件
其實對於介面文件，就是用來傳遞介面的資訊，包括介面的資料傳遞，資料的請求，那麼，文件的可讀性就異常重要了。當然word，txt，都可以用來寫介面文件，只不過，對於word的各種格式，不見得所有程式猿都了然於胸，這個時候想讓介面文件變得簡潔美觀，可讀性優良的話，markdown就可以閃亮登場了。下面記...
關於技術文件的翻譯
最近有人與我 有沒有必要把時間花在技術文件的翻譯上面，我個人覺得是非常有必要的，理由如下 1 提高英文的閱讀能力和對單詞的理解能力。翻譯有個特點，就是要字斟句酌。所以翻譯即是精讀。你不會漏過任何一段文字，你會注意到很多詞在不同地方的用法，這對提高你的英文水平是很有幫助的。所以我覺得學好英語有兩點 一...