[ANN] Static error analyser Wasp 3.0 for Linux

wasp <wasp@waspsoft.com>
7 Jun 2001 17:12:13 -0400

          From comp.compilers

Related articles
[ANN] Static error analyser Wasp 3.0 for Linux wasp@waspsoft.com (wasp) (2001-06-07)
| List of all articles for this month |

From: wasp <wasp@waspsoft.com>
Newsgroups: comp.compilers
Date: 7 Jun 2001 17:12:13 -0400
Organization: AcademSoft
Keywords: tools, available
Posted-Date: 07 Jun 2001 17:12:13 EDT


          The static error analyser Wasp 3.0 is released for Linux.




    - 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).


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


    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:


      Lite version of Wasp 3.0 may be downloaded.


      Wasp team
      Novosibirsk, Russia

Post a followup to this message

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