Download Wasp Static Error Checker 3.1

About Wasp Static Error Checker

If your Java program has been thoroughly tested but still error-prone,the Wasp analyser can help to detect subtle run-time errorsand weak points in your program.

The following kinds of errors may be statically detected:

Null pointer exception, impermissible cast,array index out of bound, division by zero, etc.

The following kinds of weak points may be detected:

uninitialised variable,unreachable branch in conditional or switch statement,unreachable loop body or catch clause,assignment of variable whose value is never used,unreachable main exit of method, etc.

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

In comparison with other static error analyser,Wasp has two important advantages.Wasp is able to distinguish between a definite error,a possible error (warning), and a potentially erroneous situation.In the latter case, Wasp produces a message calledconditional error that in practice appear to indicate an errorin approximately one case from five.Wasp performs context-sensitive data flow analysi,so it is able to recognize an error that appears only for some callsof the method containing it, but does not for other ones.

All known to us static analysers (e.g. QStudio Java, MetaMata Audit, etc)that statically detect run-time errors may produceonly long lists of warnings because theycan not recognize definite errors in a program due to weakanalyses applied. A user has to waste much time to analyse all warnings.

Wasp has proven its ability to find subtle bugs in programs evenafter debugging and testing stages of development because Waspdetects situations of real complexity.

Changes in this version:

Wasp 3.1 Java can be launched for program list; Wasp is compatible with JDK 1.4 and 1.3

System requirements:

64Mb RAM, 40-300Mb HD