[ANN] Static error analyser Wasp 3.0 for Linux

SUBJECT


          The static error analyser Wasp 3.0 is released for Linux.


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, Modula-2,
and Oberon-2 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.


------------------------------------------------------------------------


      Wasp team
      wasp@waspsoft.com
      AcademSoft
      Novosibirsk, Russia

Return to the comp.compilers page.
Search the comp.compilers archives again.