NASA Open Source Bug Detection Software

NASA have announced the open-sourcing of a system called Java Pathfinder (not the rover). The idea is that it goes over every execution path in a Java program and detects problems such as deadlocks, NullPointerExceptions and the like. From the site, the system seems like it has room to grow – it can handle sources of around 10,000 lines of code, and is limited in its reach into libraries like java.io. Who knows where it thing could go with wider input. I’d love to be able to say that my code was checked by systems developed by NASA – what credibility! 🙂