The static error analyser Wasp 3.0 Java for Linux released.

[Denis Perchine <dyp at perchine dot com>]

Hello all,

sorry for possible offtopic, but this tool can be interested for you.
Please contact me if you have questions.

SUBJECT

     The static error analyser Wasp 3.0 Java for Linux released.

URL

     http://www.waspsoft.com/

WHAT IS NEW IN Wasp 3.0

   -  This is the first Wasp version for Linux.
      Previous Wasp versions were released for Windows 95/NT, OS/2,
      and SunSparc for Java and Modula-2 programs.

   -  Wasp 3.0 for Java is an order of magnitude faster
      than previous Wasp version 2.11.
      Memory consumption reduced by a factor of 5.

   -  User interface simplified.
      Wasp manual considerably extended and modified.

   -  Wasp strategy for big programs developed.

   -  Wasp now can use memory above 930Mb limit (or brk limit)

   -  Support for files more than 2Gb added for kernels which support
      LFS interface (2.3.x, 2.4.x, 2.2.x with LFS patches, SuSE,
      RedHat Enterprise Edition).

WHAT TO EXPECT NEXT

     Wasp 3.0 for Windows 98/NT/2000 will be released shortly.

DESCRIPTION

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

  Some types of erroneous situations that Wasp is able to detect
in Java programs are listed below:
   -  usage of an uninitialised variable
   -  null pointer exception
   -  assignment of a variable whose value is never used
   -  impermissible cast of variable value of reference type
   -  unreachable branches in the if and switch statements and
        in conditional expressions
   -  unreachable catch clauses
   -  method has no normal completion
   -  array index is out of bounds
   -  overflow (underflow) in arithmetic operators
   -  division by zero
   -  for or while statement repeats zero times
   -  etc.

   For more information, please visit Wasp Home Page at:

         http://www.waspsoft.com/

   Lite version of Wasp 3.0 may be downloaded.

-- 
Sincerely Yours,
Denis Perchine

----------------------------------
E-Mail: dyp@perchine.com
HomePage: http://www.perchine.com/dyp/
FidoNet: 2:5000/120.5
----------------------------------