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

      The static error analyser Wasp 3.0 is released for Windows
95/98/NT/2000.
      The analyser Wasp 3.0 is also available 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 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
understanding:
      - 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:


                  http://www.waspsoft.com/




WHAT IS NEW IN Wasp 3.0


    - 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
conditions
          for the branches of conditional statements enhanced


    - Definitions of previous instances of new-variables for loops
improved.






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


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


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


      wasp@waspsoft.com
      AcademSoft
      Novosibirsk, Russia

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