Java Static Analysis Tools
程式是人寫的，而人寫的就有可能會有失誤發生，又或是經驗不足，寫出了有[漏洞](https://en.wikipedia.org/wiki/Vulnerability_(computing%29)或 Bug 的程式。這時就所以需要工具來幫我們來做檢查。 又或著要統一整體開發的 Coding Style，與其耗費人力檢查，同樣的還是透過工具檢查簡單省力！
這篇就來簡單介紹我之前在案子上常用的三種不同的靜態程式碼分析工具，分別是能檢查 Bug 或漏洞的 FindBug 和 PMD，以及能定義及檢查 Coding Style 的 CheckStyle
1. FindBugs
首先是個人覺得最好用的 FindBug，為何好用？因為它能幫我們發現可能產生 bug 的程式，從是否有確實釋放 IO 資源到是否會產生 dead lock 之類的 concurrent 問題，都能有效的作檢查。 另外也有支援常用 IDE 的 plugin
2. PMD
而 PMD 主要則檢查寫程式時可能發生的錯誤，例如：宣告了未使用的變數，又或是邏輯上的漏洞等，比較算是 coding 上 bad pratice 的檢查。
3. CheckStyle
最後的 CheckStyle 也許不檢查 bug ，但在統一團隊的 coding style 上則是最好用的一個工具。 小的從間隔幾個空格到變數/方法的命名，都能夠自定義規則。