If your Java program has been thoroughly tested but still error-prone, the Wasp analyser can help to detect subtle run-time errors and weak points in your program. The following kinds of errors may be statically detected: null pointer exception, impermissible cast, array index out of bounds, division by zero, etc. The following kinds of weak points may be detected: uninitialised variable,
...
