The Wasp analyser statically detects subtle run-time errors
and weak points in a Java source code.

The following kinds of errors may be detected:
null pointer exception, impermissible cast,
array index out of bounds, division by zero, etc.
The following kinds of weak points may be detected:
usage of uninitialised variable,
unreachable branch in conditional or switch statement,
unreachable loop body or catch clause,
assignment of variable whose value is never used,
abnormal completion of method, etc.

Wasp produces detailed and precise method call graph.
The method call graph of a program helps to know for each method
what actual methods are called in its body.
Also, for each method you may know where this method may be called.