[ANN] Static analyser Wasp 3.1 Java for Linux

Vladimir Shelekhov <vshel@iis.nsk.su>
16 Apr 2002 00:54:15 -0400

          From comp.compilers

Related articles
[ANN] Static analyser Wasp 3.1 Java for Linux vshel@iis.nsk.su (Vladimir Shelekhov) (2002-04-16)
| List of all articles for this month |

From: Vladimir Shelekhov <vshel@iis.nsk.su>
Newsgroups: comp.compilers
Date: 16 Apr 2002 00:54:15 -0400
Organization: Magistral Telecom JV.
Keywords: tools, Java, available
Posted-Date: 16 Apr 2002 00:54:15 EDT

      The static error analyser Wasp 3.1 is released for Linux.

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

      The following kinds of errors may be statically 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 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 loop body
      - 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:



    - Wasp 3.1 is compatible with Sun JDK 1.3 and JDK 1.4

    - Wasp can be launched for a program list that can be automatically
        produced for a Java package.
        Now you may launch Wasp for a program list using two commands:
                wasp -scan >java_programs.list
                wasp java_programs.list

    - Wasp 3.1 for Java is three times faster
        than previous Wasp 3.0 version.
        Memory consumption reduced by a factor of 4

    - User interface simplified, it is now Linux oriented.
    - Wasp manual improved

    - Analysis of statically calculated variable values
        for conditional statements enhanced

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

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

      AcademSoft Ltd
      Novosibirsk, Russia

Post a followup to this message

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