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がオープンソースでリ…