software downloads

Software Search
Software for schools and nonprofits Categories
software feature Featured
software of the week Site of the Week
software links Links
software specials Specials
software developers Developers

SPECIAL!!!
NotePager Pro -
allows SMS message to be sent free of charge!


Partner Sites
NotePage, Inc.
Messaging Software
Military Supply
Police Supplies

Popular Software
G-Lock Easy Mail
PageGate

 

school and non-profit software

Wasp Static Error Checker

by AcademSoft

Description: If your Java program has been thoroughly tested but still error-prone,
the Wasp analyser can help to detect subtle run-time errors
and weak points in your program.

The following kinds of errors may be statically detected:
null pointer exception, impermissible cast,
array index out of bounds, division by zero, etc.
The following kinds of weak points may be detected:
usage of uninitialised variable,
unreachable branch in conditional or switch statement,
unreachable loop body or catch clause,
assignment of variable whose value is never used,
abnormal completion of method, etc.

Wasp produces detailed and precise method call graph.
The method call graph of a program helps to know for each method
what actual methods are called in its body.
Also, for each method you may know where this method may be called.

In comparison with other static error analysers,
Wasp has two important advantages.
Wasp is able to distinguish between a definite error,
a possible error (warning), and a potentially erroneous situation.
In the latter case, Wasp produces a message called
conditional error that in practice appear to indicate an error
in approximately one case from five.
Wasp performs context-sensitive data flow analysis,
so it is able to recognize an error that appears only for some calls
of the method containing it, but does not for other ones.
Thus, Wasp handles situations of high complexity.

All known to us static analysers (e.g. QStudio Java, MetaMata Audit, etc)
that statically detect run-time errors may produce
only long lists of warnings because they
can not recognize definite errors in a program due to weak
analyses applied. A user has to waste much time to analyse all warnings.

Wasp has proven its ability to find subtle bugs in programs even
after debugging and testing stages of development because Wasp
detects situations of real complexity.

Contact Info - sales@waspsoft.com
O/S - Win95,Win98,WinNT 4.x,Windows2000,Linux
Version - 3.0
Cost - $299
File Size - 1.24 MB

Discount Information: There is a Wasp University license (for $99 only) for students and faculty members or others who intend to use the Wasp tool for instructional purposes only

software for assistance
assistive technology
business software downloads
business
communication software downloads
communicate
educational software downloads
educational
graphical software downloads
graphics
networking software downloads
network
software programming tools
program
tools
file utilities
utilities
Internet software downloads
internet



copyright 1999-2004 NotePage, Inc.
All rights reserved