翻譯|使用教程|編輯:黃竹雯|2018-12-24 15:35:00.000|閱讀 969 次
概述:C和C ++的首選靜態分析工具 PC-lint Plus 常見問題集
# 界面/圖表報表/文檔/IDE等千款熱門軟控件火熱銷售中 >>
相關鏈接:
PC-lint Plus是一種靜態分析工具,通過分析C和C ++源代碼來發現軟件中的缺陷。與編譯器一樣,PC-lint Plus會解析源代碼文件,執行語義分析,并構建一個抽象語法樹來表示程序。PC-lint Plus采用各種機制,包括數據流分析,數值跟蹤,讀寫分析,強類型檢查,功能語義驗證和許多其他技術,來提供對單個文件和整個項目強大而全面的分析。
1.Q:如何告訴lint在哪里找到我的編譯器頭文件?
A:使用-i選項或INCLUDE環境變量為當前目錄中找不到的文件指定搜索路徑。
您可以多次使用-i選項指定多個搜索目錄。-i選項和目錄名稱之間不應有空格,終止目錄分隔符是可選的。目錄將按照指定的順序被搜索。例如,要在/usr/local/include中查找頭文件,然后在/usr/include中查找,您可以使用:
-i/usr/local/include -i/usr/include
或者,您可以將INCLUDE環境變量設置為以分號分隔(Windows)或冒號分隔(Unix)的目錄列表。例如:
在DOS/Windows上:set INCLUDE=/usr/local/include;/usr/include
在UNIX/LINUX上:export INCLUDE=/usr/local/include:/usr/include
您可以使用-incvar選項指定備用環境變量名稱。
如果設置了+fim標志選項(默認情況下),則可以使用一個-i選項指定多個目錄,方法與上述INCLUDE變量相同。例如:
-i/usr/local/include;/usr/include
--i選項與-i選項相同,但只有在搜索使用-i選項指定的所有目錄之后才搜索使用此選項指定的目錄。
有關-i,--i和-invcar選項,請參見參考手冊的第5.7節,有關INCLUDE環境變量,請參見第15.2.1節。
2.Q:如何讓lint控制編譯器頭文件?
A:Lint使用“library”頭文件來指定程序員無法控制的頭文件(例如編譯器頭文件)。默認情況下,所有來自外部目錄的#includes或包含在<>中的#includes都被視為“library”。這可以通過使用+libclass選項進行修改,并可使用+libdir/-libdir和+libh/-libh選項進行微調。然后,您可以使用-wlib,-elib和-elibsym選項來控制從庫頭文件發出的信息。隨PC-lint Plus一起分發的編譯器選項文件通常包含-wlib(1)選項,該選項將庫頭文件的lint輸出限制為僅錯誤(抑制警告和信息性信息)。
3.Q:我想為C文件抑制錯誤,例如715,不是為C ++文件抑制錯誤。
A:使用-header選項,如:
-header(x.h)
然后在頭文件中(本例中為x.h):
#ifdef __cplusplus
//lint +e715
#else
//lint -e715
#endif
未完待續~
本站文章除注明轉載外,均為本站原創或翻譯。歡迎任何形式的轉載,但請務必注明出處、不得修改原文相關鏈接,如果存在內容上的異議請郵件反饋至chenjj@fc6vip.cn