Java PathFinder

NASA has just released Java PathFinder, a Java Virtual Machine that uses states to check all the possible ways a Java program can be executed, finding possible errors (NPEs or deadlocks, for example) in your code.

NASAがオープンソースでリリースした品質リポートツール。実行可能なメソッドの経路からcatchされていない例外やデッドロックとかを見つけてくれるらしい。

関係ないけど、NASAでpathfinderと言えば、Mars pathfinderだよね。NASAのサイトでいかにもNASAっぽいビデオが色々見れる。
http://www.nasa.gov/
http://svs.gsfc.nasa.gov/Gallery/index.html