Eclipseで使える静的解析ツール
NullPointerException対策に使えそう。