source insight4.0集成靜態代碼檢測工具PC lint


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解壓。

 


免責聲明!

本站轉載的文章為個人學習借鑒使用,本站對版權不負任何法律責任。如果侵犯了您的隱私權益,請聯系本站郵箱yoyou2525@163.com刪除。



 
粵ICP備18138465號   © 2018-2025 CODEPRJ.COM