源代碼靜態(tài)分析

靜態(tài)分析是一種分析經(jīng)濟(jì)現(xiàn)象的均衡狀態(tài)以及有關(guān)的經(jīng)濟(jì)變量達(dá)到均衡狀態(tài)所需要條件的分析方法。[1]而不考慮經(jīng)濟(jì)現(xiàn)象達(dá)到均衡狀態(tài)的過程，它完全抽象掉了時(shí)間因素和具體的變化過程，是一種靜止地、孤立地考察某種經(jīng)濟(jì)事物的方法。

程序靜態(tài)分析是與程序動(dòng)態(tài)分析相對(duì)應(yīng)的代碼分析技術(shù)，它通過對(duì)代碼的自動(dòng)掃描發(fā)現(xiàn)隱含的程序問題，主要具有以下特點(diǎn)：（1）不實(shí)際執(zhí)行程序。

靜態(tài)代碼分析原理分為兩種：分析源代碼編譯后的中間文件；分析源文件。