動態(tài)分析，指的是運行程序。這可以通過編譯機器代碼并運行代碼，或通過解讀程序來完成。通過觀察程序的行為，人們很容易假設(shè)知道程序的全部內(nèi)容。動態(tài)分析是編程的一個重要部分，因為沒有程序員可以說他或她的程序是完美的，除非它真的按照預期運行。

一個新手程序員經(jīng)常誤以為他的工作已經(jīng)完成，因為他選擇的輸入組合沒有導致程序出現(xiàn)bug。 然而，經(jīng)驗告訴我們，雖然測試可以顯示bug的存在，但測試永遠無法證明bug不存在。即使是相對簡單的程序，它的輸入組合數(shù)量也可以是天文數(shù)字，而測試所有輸入組合是十分不切實際的。

另一方面，靜態(tài)分析不僅限于輸入組合。例如，如果代碼中的某處將signed quantity與unsigned quantity進行比較，那么signed quantity將被更新為unsigned quantity，在signed quantity失去作用之前對程序不會造成任何損害。而靜態(tài)分析會主動發(fā)現(xiàn)問題，并且程序員不用編寫輸入組合去測試程序。

或者考慮C/C ++標準認為“implementation dependent”的構(gòu)造，例如在較大表達式中，子表達式的求值順序或C ++程序中初始化的順序。通過在使用同一編譯器的同時進行大量測試運行，您可能不會發(fā)現(xiàn)代碼的任何部分容易受到此類攻擊。但是，如果您要將應用程序移植到新的操作系統(tǒng)，或獲取新的編譯器，或者只是更改當前編譯器的優(yōu)化設(shè)置，那么implementation dependent的順序假設(shè)可能會改變并觸發(fā)一個看起來很穩(wěn)定的代碼中的bug。

靜態(tài)分析與編譯器有不同的角度。它不是找到一種可以解讀程序的方法，而是尋找程序可能被誤解的方式。

另一種常見的警告類是冗余元素。例如，如果沒有調(diào)用某個特定的函數(shù)，那么該函數(shù)是否真的是多余的，或者是否應該被調(diào)用。顯然，只有程序員才能回答這個問題，但這是一個在動態(tài)分析過程中不會出現(xiàn)的問題。

動態(tài)測試和靜態(tài)分析與醫(yī)療保健行業(yè)有一個有趣的類比。動態(tài)測試就像急診室護理，而靜態(tài)分析就像預防性護理，例如保持健康的飲食和鍛煉計劃。如果您的系統(tǒng)崩潰，顯而易見的工具是動態(tài)測試，即傳統(tǒng)的調(diào)試器，就像一個剛剛突然身體很難受的人，家人會帶他去急診室。但是，保持健康的飲食和鍛煉計劃可以幫助您遠離急診室，因此使用靜態(tài)分析可以幫助您避免程序失敗。如果您的系統(tǒng)崩潰，您最好也進行靜態(tài)分析，因為如果發(fā)現(xiàn)錯誤，靜態(tài)分析將明確指出錯誤。

因此，靜態(tài)分析可以是動態(tài)分析非常有效的補充。

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

點擊下載PC-lint Plus試用版

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

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