Wasp statically detects subtle run-time errors: null pointer exception, impermissible cast, array index out of bounds, division by zero, etc. Wasp also produces information for program understanding: detailed and precise method call graph, usage of an uninitialised variables, unreachable branches for conditional and switch statements, unreachable loop bodies, and catch clauses, assignments of a variables whose values are never used.