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

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

點擊下載PC-lint Plus正式版

在大型的開發項目中，通常有幾十到上百個的源文件，如果每次均手工鍵入?gcc?命令進行編譯的話，則會非常不方便。因此，人們通常利用?make?工具來自動完成編譯工作。這些工作包括：如果僅修改了某幾個源文件，則只重新編譯這幾個源文件；如果某個頭文件被修改了，則重新編譯所有包含該頭文件的源文件。利用這種自動編譯可大大簡化開發工作，避免不必要的重新編譯。

實際上，make工具通過一個稱為?makefile的文件來完成并自動維護編譯工作。makefile需要按照某種語法進行編寫，其中說明了如何編譯各個源文件并連接生成可執行文件，并定義了源文件之間的依賴關系。（makefile介紹）

當修改了其中某個源文件時，如果其他源文件依賴于該文件，則也要重新編譯所有依賴該文件的源文件。

makefile文件是許多編譯器，包括?Windows?NT?下的編譯器維護編譯信息的常用方法，只是在集成開發環境中，用戶通過友好的界面修改?makefile?文件而已。

默認情況下，GNU?make?工具在當前工作目錄中按如下順序搜索?makefile：

• *?GNUmakefile
• *?makefile
• *?Makefile

在UNIX系統中，習慣使用Makefile作為makfile文件。如果要使用其他文件作為makefile，則可利用類似下面的make命令選項指定makefile文件：?$?make?-f?Makefile.debug

GNU?make的主要預定義變量

GNU?make有許多預定義的變量，這些變量具有特殊的含義，可在規則中使用。表?1-5?給出了一些主要的預定義變量，除這些變量外，GNU?make還將所有的環境變量作為自己的預定義變量。

GNU?make?包含有一些內置的或隱含的規則，這些規則定義了如何從不同的依賴文件建立特定類型的目標。

GNU?make?支持兩種類型的隱含規則：

*?后綴規則（Suffix?Rule）。后綴規則是定義隱含規則的老風格方法。后綴規則定義了將一個具有某個后綴的文件（例如，.c?文件）轉換為具有另外一種后綴的文件（例如，.o?文件）的方法。每個后綴規則以兩個成對出現的后綴名定義，例如，將?.c?文件轉換為?.o?文件的后綴規則可定義為：

.c.o:?$(CC)?$(CFLAGS)?$(CPPFLAGS)?-c?-o?$@?$< 

*?模式規則（pattern?rules）。這種規則更加通用，因為可以利用模式規則定義更加復雜的依賴性規則。模式規則看起來非常類似于正則規則，但在目標名稱的前面多了一個?%?號，同時可用來定義目標和依賴文件之間的關系，例如下面的模式規則定義了如何將任意一個?X.c?文件轉換為?X.o?文件：

%.c:%.o?$(CC)?$(CFLAGS)?$(CPPFLAGS)?-c?-o?$@?$<

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

相關內容推薦：

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