The Wasp tool statically detects subtle run-time errors in Java source code
and produces information for program understanding.
The following kinds of errors may be detected in a Java program:
- null pointer exception
- impermissible cast of variable value of reference type
- array index out of bounds
- division by zero
- overflow (underflow) in arithmetic operator
- etc.
Wasp also produces the following 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
- abnormal completion of methods
- etc.
