http://www.cs.umd.edu/~pugh/java/bugs/ ちょっと気になる。Checkstyleみたいな感じでソースコードを走査してバグのにおいがするアンチパターンを検出してくれる、らしい。 自分で使うより実装方法とか理論とかでなんだけど。