源代碼靜態(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)的過(guò)程,它完全抽象掉了時(shí)間因素和具體的變化過(guò)程,是一種靜止地、孤立地考察某種經(jīng)濟(jì)事物的方法。
程序靜態(tài)分析是與程序動(dòng)態(tài)分析相對(duì)應(yīng)的代碼分析技術(shù),它通過(guò)對(duì)代碼的自動(dòng)掃描發(fā)現(xiàn)隱含的程序問(wèn)題,主要具有以下特點(diǎn):(1)不實(shí)際執(zhí)行程序。
靜態(tài)代碼分析原理分為兩種:分析源代碼編譯后的中間文件;分析源文件。