1、下載軟件
http://www.32r.com/soft/17274.html(選擇普通下載通道下載,這個還是比較不錯的,不會下載垃圾東西)
2、安裝(英文目錄)
解壓壓縮包,點擊pclint9setup.exe安裝即可,建議安裝到默認的路徑下邊
3、開始集成到source insight4.0
3.1、source insight4.0添加命令已經放到了Tool->Custom Commands
3.2、點擊add按鈕,然后輸入命令的標簽名字,如:PC Lint,然后點擊OK,在Command欄就能看到PC Lint命令了。
3.3、點擊一下Command欄PC Lint,開始編輯,如下圖
Run輸入欄:是點擊Run或者是使用熱鍵時執行的命令,
參數:"C:\lint\lint-nt.exe" 表示可執行文件lint-nt.exe的絕對路徑
參數:-u -ic:\lint std src 【ic:\lint表示后面帶的參數 std src配置文件所在的目錄路徑】 【std src 是兩個配置文件,分別是存放在C:\lint下邊的std.Int和src.Int,這里可以省略.Int】
填完以后直接點擊右側欄目中的Close關閉即可。
4、將命令放到菜單欄和添加熱鍵
4.1、點擊菜單欄中的Options->Menu Assignments,輸入PC即可找到剛剛添加的命令,然后點擊Menu的下拉框,選擇你希望將這個命令存放到哪個菜單欄下邊,然后點擊Insert安裝。
4.2、添加熱鍵可直接點擊上圖的4->Key sAssignments進入設置頁面,也可以通過Options->Key Assignments進入,然后點擊Assign New Key按鈕添加熱鍵,我使用Ctrl+Shift+R,每按一次手抽筋一次,順便配一個華麗的微轉身,如圖。
點擊Ok即完成配置。
5、都使用source insight了,想必也不是一兩個文件倒騰的活,接下來如何開始靜態檢測。
5.1、根據附件壓縮包解壓到PC Lint安裝的文件夾下邊,總共有9個文件(選擇性查看src.lnt、include.lnt和options.lnt即可)
std.lnt:上面啟動啟動命令中的std對應的就是這個文件,這個文件應該是做一些編譯器配置的初始化
src.lnt:上面啟動命令中的src對應的文件,這個文件存放的是我們需要靜態檢測的源碼的絕對路徑,可以使用這個命令在Windows下的dos下把路徑全部打印出來:dir /s /b *.c *.h,然后拷貝進去即可。
options.lnt:一些選項的配置文件,這個嵌套在std.lnt,主要放一些-D的宏定義選項配置,例如大端-D_HOST_IS_BIG_ENDIAN_=1,可以去Makefile中找對應-D的加進來即可。
include.lnt:頭文件的路徑需要添加到這里面,否則會報錯打不開頭文件
a、顯示頭文件包含的絕對路徑可以使用dir /s /b /ad | find /V ".svn"命令將當前目錄下的文件的目錄和子目錄的絕對路徑打印出來。然后find /V過濾掉包含.svn的路徑
b、在后面加重定向符號重定向到一個文件include.Inc,然后可以在linux下通過awk在行前添加-I“,在行尾添加”,
c、可用的命令awk '{print "-I\""$0}' include.Inc > include.In 為文件每行行首添加 -I“ 和 awk '{print $0"\""}' include.In > include.Inc 為每行行尾添加”
d、有個重要的點,在編譯時會報錯缺少庫頭文件,可以將libc(可以使用內核編譯生成的)的庫放到當前目錄C:\lint\下,在include.Int中添加libc子目錄的路徑,文件中有舉例,路徑一定要對哦。
co-gcc.lnt:見名思意,配置gcc編譯器的文件
co-gcc.h:
au-sm123.lnt:
au-ds.lnt:
lint_cmac.h:
6、萬事具備,只欠 Ctrl+Shift+R 手抽筋操作,一按就開始運行了(記得看電腦下方任務欄彈出的dos窗口有沒有報錯),如果發現還有錯,那就排錯吧,找到頭文件目錄拷貝到include.Int等。
7、或許,您可能還會報一個錯,那就是缺少sihook4.exe,這個好辦,去source insight官網下一個軟件,安裝一下,然后把sihook4.exe拷貝出來放到對應的目錄下即可,也可以使用附件中的sihook4.rar解壓。