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

點(diǎn)擊下載PC-lint Plus試用版

1.Q：如何告訴lint在哪里找到我的編譯器頭文件？

A：使用-i選項或INCLUDE環(huán)境變量為當(dāng)前目錄中找不到的文件指定搜索路徑。

您可以多次使用-i選項指定多個搜索目錄。-i選項和目錄名稱之間不應(yīng)有空格，終止目錄分隔符是可選的。目錄將按照指定的順序被搜索。例如，要在/usr/local/include中查找頭文件，然后在/usr/include中查找，您可以使用：

               -i/usr/local/include -i/usr/include

或者，您可以將INCLUDE環(huán)境變量設(shè)置為以分號分隔（Windows）或冒號分隔（Unix）的目錄列表。例如：

       在DOS/Windows上：set INCLUDE=/usr/local/include;/usr/include

       在UNIX/LINUX上：export INCLUDE=/usr/local/include:/usr/include

您可以使用-incvar選項指定備用環(huán)境變量名稱。

如果設(shè)置了+fim標(biāo)志選項（默認(rèn)情況下），則可以使用一個-i選項指定多個目錄，方法與上述INCLUDE變量相同。例如：

               -i/usr/local/include;/usr/include

--i選項與-i選項相同，但只有在搜索使用-i選項指定的所有目錄之后才搜索使用此選項指定的目錄。

有關(guān)-i，--i和-invcar選項，請參見參考手冊的第5.7節(jié)，有關(guān)INCLUDE環(huán)境變量，請參見第15.2.1節(jié)。

2.Q：如何讓lint控制編譯器頭文件？

A：Lint使用“library”頭文件來指定程序員無法控制的頭文件（例如編譯器頭文件）。默認(rèn)情況下，所有來自外部目錄的#includes或包含在<>中的#includes都被視為“library”。這可以通過使用+libclass選項進(jìn)行修改，并可使用+libdir/-libdir和+libh/-libh選項進(jìn)行微調(diào)。然后，您可以使用-wlib，-elib和-elibsym選項來控制從庫頭文件發(fā)出的信息。隨PC-lint Plus一起分發(fā)的編譯器選項文件通常包含-wlib（1）選項，該選項將庫頭文件的lint輸出限制為僅錯誤（抑制警告和信息性信息）。

3.Q：我想為C文件抑制錯誤，例如715，不是為C ++文件抑制錯誤。

A：使用-header選項，如：

            -header(x.h)

然后在頭文件中（本例中為x.h）：

            #ifdef __cplusplus

              &nbsp;   //lint +e715

           #else

                //lint -e715

          #endif

未完待續(xù)~

想要購買正版授權(quán)，或者獲取更多PC-lint Plus相關(guān)信息的朋友可以點(diǎn)擊" "~

海量產(chǎn)品正在參加年終大促，價格優(yōu)惠！詳情請點(diǎn)擊" 年終巔峰鉅惠 "~