Wasp Static Error Checker 3.1

Wasp statically detects subtle run-time errors in a Java code: null pointer exception, impermissible cast, array index out of bounds, division by zero, etc. Wasp detects the following weak points: uninitialised variable, unreachable branch in conditional or switch statement, unreachable loop body or catch clause, assignment of variable whose value is never used, etc. Wasp produces detailed and precise method call graph. [ Wasp Static Error Checker full details ]