Wasp Static Error Checker
If your Java program has been thoroughly tested but still error-prone,the Wasp analyser can help to detect subtle run-time errorsand weak points in your program...The following kinds of weak points may be detected:uninitialised variable,unreachable branch in conditional or switch statement,unreachable loop body or catch clause,assignment of variable whose value is never used,unreachable main exit of method, etc...The method call graph of a program helps to know for each methodwhat actual methods are called in its body...
