PC-lint Plus是一種靜態分析工具，通過分析C和C ++源代碼來發現軟件中的缺陷。與編譯器一樣，PC-lint Plus會解析源代碼文件，執行語義分析，并構建一個抽象語法樹來表示程序。PC-lint Plus采用各種機制，包括數據流分析，數值跟蹤，讀寫分析，強類型檢查，功能語義驗證和許多其他技術，來提供對單個文件和整個項目強大而全面的分析。

本文介紹了PC-lint Plus的使用方法：makefile的介紹。

點擊下載PC-lint Plus正式版

Makefile基本結構

makefile中一般包含如下內容：

*?需要由?make?工具創建的項目，通常是目標文件和可執行文件。通常使用“目標（target）”一詞來表示要創建的項目。

*?要創建的項目依賴于哪些文件。

*?創建每個項目時需要運行的命令。

例如，假設你現在有一個?C/C++?源文件?test.C，該源文件包含有自定義的頭文件?test.h，則目標文件?test.o?明確依賴于兩個源文件：test.C?和?test.h。另外，你可能只希望利用?g++?命令來生成?test.o?目標文件。這時，就可以利用如下的?makefile?來定義?test.o?的創建規則：

#?This?makefile?just?is?a?example.?

#?The?following?lines?indicate?how?test.o?depends?

#?test.C?and?test.h,?and?how?to?create?test.o??

test.o:?test.C?test.h?????

g++?-c?-g?test.C??

從上面的例子注意到，第一個字符為?#?的行為注釋行。第一個非注釋行指定?test.o?為目標，并且依賴于?test.C?和?test.h?文件。隨后的行指定了如何從目標所依賴的文件建立目標。

當?test.C?或?test.h?文件在編譯之后又被修改，則?make?工具可自動重新編譯?test.o，如果在前后兩次編譯之間，test.C?和?test.h?均沒有被修改，而且?test.o?還存在的話，就沒有必要重新編譯。這種依賴關系在多源文件的程序編譯中尤其重要。通過這種依賴關系的定義，make?工具可避免許多不必要的編譯工作。當然，利用?Shell?腳本也可以達到自動編譯的效果，但是，Shell?腳本將全部編譯任何源文件，包括哪些不必要重新編譯的源文件，而?make?工具則可根據目標上一次編譯的時間和目標所依賴的源文件的更新時間而自動判斷應當編譯哪個源文件。

一個?makefile?文件中可定義多個目標，利用?make?target?命令可指定要編譯的目標，如果不指定目標，則使用第一個目標。通常，makefile?中定義有?clean?目標，可用來清除編譯過程中的中間文件，例如：

clean:

rm?-f?*.o

運行?make?clean?時，將執行?rm?-f?*.o?命令，最終刪除所有編譯過程中產生的所有中間文件。

makefile?變量

GNU?的?make?工具除提供有建立目標的基本功能之外，還有許多便于表達依賴性關系以及建立目標的命令的特色。其中之一就是變量或宏的定義能力。如果你要以相同的編譯選項同時編譯十幾個?C?源文件，而為每個目標的編譯指定冗長的編譯選項的話，將是非常乏味的。但利用簡單的變量定義，可避免這種乏味的工作：

#?Define?macros?for?name?of?compiler?

CC?=?gcc??

#?Define?a?macr?o?for?the?CC?flags?

CCFLAGS?=?-D_DEBUG?-g?-m486??

#?A?rule?for?building?a?object?file?

test.o:?test.c?test.h?????

$(CC)?-c?$(CCFLAGS)?test.c??

在上面的例子中，CC?和?CCFLAGS?就是?make?的變量。GNU?make?通常稱之為變量，而其他?UNIX?的?make?工具稱之為宏，實際是同一個東西。在?makefile?中引用變量的值時，只需變量名之前添加?$?符號，如上面的?$(CC)?和?$(CCFLAGS)。

本文內容就是這樣了，希望對您有所幫助！您可以繼續關注我們慧都網，了解更多產品資訊~也可以下載PC-lint Plus試用版免費評估~

相關內容推薦：

PC-lint Plus v1.3.5更新內容>>>