[ANN] Static analyser Wasp 3.0 Java for Windows and Linux

Vladimir Shelekhov <wasp@waspsoft.com>
28 Jun 2001 23:51:32 -0400

          From comp.compilers

Related articles
[ANN] Static analyser Wasp 3.0 Java for Windows and Linux wasp@waspsoft.com (Vladimir Shelekhov) (2001-06-28)
| List of all articles for this month |

From: Vladimir Shelekhov <wasp@waspsoft.com>
Newsgroups: comp.compilers
Date: 28 Jun 2001 23:51:32 -0400
Organization: Magistral Telecom JV.
Keywords: tools, available
Posted-Date: 28 Jun 2001 23:51:32 EDT

      The static error analyser Wasp 3.0 is released for Windows
      The analyser Wasp 3.0 is also available for Linux.

      Wasp employs powerful data flow analysis to detect subtle run-time
      and weak points in Java, Modula-2, and Oberon-2 programs.
      The following kinds of errors may be detected in a Java program:
      - null pointer exception
      - impermissible cast of variable value of reference type
      - array index out of bounds
      - division by zero
      - overflow (underflow) in arithmetic operator
      - etc.

      Wasp also produces the following information for program
      - detailed and precise method call graph
      - usage of an uninitialised variables
      - unreachable branches for conditional and switch statements,
            unreachable loop bodies, and catch clauses
      - assignments of a variables whose values are never used
      - abnormal completion of methods
      - etc.

      For more information, please visit Wasp Home Page at:



    - Wasp 3.0 Java is an order of magnitude faster
          than previous Wasp version.
          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) for Linux

    - 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 messages for compound assignment operators, postfix operators,

          and unreachable branches of conditional statements improved

    - Refinements of (statically calculated) variable values through
          for the branches of conditional statements enhanced

    - Definitions of previous instances of new-variables for loops

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

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


      Novosibirsk, Russia

Post a followup to this message

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