NASA liberou Java Path Finder, uma Java virtual Machine que usa estatus para checar todas as possibilidades de um programa poder ser executado, localizando erros (NPEs ou deadlocks) no seu codigo
Relata então o trajeto inteiro da execução chegando aquele conduz a um defeito. É especializado em encontrar defeitos de concorrencia em programas multhithread.
Atualmente, o software é limitad para checar somente por threads lock e uncaugh exceptions, mas ela pode ser estendida para chegar as outras coisas. como “race conditions”.
Entretando, ela não é suportada atualmente pela java.awt, java.net e algumas da java.io
A licenca é uma licença personalizada da NASA a “NASA Open Source Agreement 1.3”, mas o projeto foi aprovado on SourceForge ele precisa seguir as convenções OSI.
link para o JavaPathFinder
http://javapathfinder.sourceforge.net/
Link para noticia no theserverside
http://www.theserverside.com/news/thread.tss?thread_id=33583
Enjoy.