[ANN] Static analyser Wasp 3.1 Java for Linux

      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:


                  http://www.waspsoft.com/




WHAT IS NEW IN Wasp 3.1


    - 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


------------------------------------------------------------------------
      wasp@waspsoft.com
      AcademSoft Ltd
      Novosibirsk, Russia

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