靜態分析 Static analysis
如果你在使用一種靜態類型語言，你就有一種隔離和發現某幾類bug的強大手段----這些bug通過代碼評審或是別的傳統方式很難發現。靜態分析（Static Analysis）就是用軟件工具對程序代碼進行驗證的機制，通過它可以找出其中存在的已知的bug模式。
靜態分析工具大致分為兩類：對編譯結果（class文件 或是字節碼）進行分析，或對源代碼進行分析。
字節碼分析：
字節碼分析的目標是在編譯后的代碼中找出已知的bug模式。首先，人們已經對某些語言進行了足夠的研究。以至于能夠從編譯后的字節碼中找到一些常見的bug模式。這個工具不能找出所有的bug。。
字節碼分析，能夠大概找到以下類型的bug
正確性 可能是邏輯錯誤的地方
不良實踐 違反基本編碼實踐
迷惑 難懂的代碼，奇怪的方法，反常的做法，糟糕的代碼
源代碼分析
源代碼分析，能大概找到以下類型的bug
可能的bug 空的try catch
dead code 沒有被用到的本地變量、參數和私有變量等。
欠優化的代碼 無節制的字符串操作
過于復雜的表達式 以復制黏貼的方式來復用代碼
重復代碼