The static error analyser Wasp 3.2 is released for Linux.

  Wasp employs powerful data flow analysis to detect subtle run-time errors
  and weak points in Java programs.

  The following kinds of errors may be statically detected in a Java
program:
  -  null pointer exception
  -  impermissible cast of variable of reference type
  -  array index out of bounds
  -  division by zero
  -  overflow in arithmetic operator
  -  etc.

  The following kinds of weak points may be detected in a Java program:
  -  uninitialised variable
  -  assignment of variable whose value is never used
  -  unreachable branch in conditional or switch statement
  -  unreachable body of for or while statement
  -  unreachable (or always reachable) second operand
        in conditional operator '&&' or '||'
  -  unreachable catch clause
  -  unreachable normal exit of method
  -  uncaught exception
  -  etc.

  Additionally, Wasp produces detailed and precise method call graph.

  For more information, please visit Wasp Home Page at:

        http://www.waspsoft.com/

WHAT IS NEW IN Wasp 3.2

 - 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 3.2 manual for Linux is accessible on-line

  Wasp Home Page: http://www.waspsoft.com/

  Download Wasp 3.2 Lite: http://www.waspsoft.com/loadj.html

------------------------------------------------------------------------
  wasp@waspsoft.com
  AcademSoft Ltd
  Novosibirsk, Russia