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.

Title	Wasp Static Error Checker
Error description *	<Please select> Dead link Wrong description Wrong features Wrong type Wrong link New version out Other (specify below here)
Link or message *