Wasp Static Error Checker 3.1     
Statically detects subtle run-time errors and weak points in a Java source code
[Download]