What is the 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 errors and weak points in your program statically. Wasp also produces detailed and precise method call graph.
The Wasp tool is available for Linux and Windows 95/98/NT/2000.
More ...

See current release Linux Wasp 3.2 for Java .
Lite version of Linux Wasp 3.2 for Java can be downloaded.

Four years ago Wasp for Modula-2 and Oberon-2 had been developed. The Wasp analyser was successfully applied to some embedded systems written in Modula-2.

News

3 July 2003 Linux Wasp 3.2 for Java released

• Wasp 3.2 manual for Linux is accessible on-line
• Servlet programs can be analyzed by Wasp 3.2
• assert statements of Java 1.4 are properly processed by Wasp 3.2
• command line interface for launching Java programs simplified
• Wasp manual improved

3 April 2002 Linux Wasp 3.1 for Java released

05 October 2001 Wasp forum has appeared!
Now everyone can write topic which is of interest or ask a question in the Wasp forum.

04 September 2001 New service: Order Wasp message report for your Java software!

25 June 2001 Windows Wasp 3.0 for Java released

4 June 2001 Linux Wasp 3.0 for Java released

Your feedback and suggestions are welcome at wasp@waspsoft.com