2005-04-29 JPF tool TSS.comより.FindBugsみたいなコードインスペクタ. NASAが出したってのが話題になるかも. (追記)どうやらJVMらしい.>Java PathFinder