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

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

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