|[ANN] Static analyser Wasp 3.0 Java for Windows and Linux email@example.com (Vladimir Shelekhov) (2001-06-28)|
|From:||Vladimir Shelekhov <firstname.lastname@example.org>|
|Date:||28 Jun 2001 23:51:32 -0400|
|Organization:||Magistral Telecom JV.|
|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
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
For more information, please visit Wasp Home Page at:
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
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.
Return to the
Search the comp.compilers archives again.