[Java]Java PathFinder

http://javapathfinder.sourceforge.net/
JVMのバイトコードレベルでJAVAのクラスの検証をするツール。バイトコードを読んでdeadlocksの検出や、NullPointerException?など、普通は実行しないと検出できない例外があるかどうかを検出するツール。
すげー。ちなみに、NASAのスタッフが開発。