Download Wasp Static Error Checker
Over 197,000 downloads! Bookmark Now!
DownloadPipe.com - New Downloads Every Minute

Home > Platforms > Windows > eBooks

Questions? See the Windows forums

Wasp Static Error Checker 3.0 download starting (1000 KB)...

Click here if your download does not start, or go directly to the publisher's web site.

Having problems downloading? Check the download help

Buy Now US$ 299.00, EU€ 223.02, GB£ 199.42

Bookmark DownloadPipe.com next time you're looking for great software. 197,000 downloads just one click away!

Would you like a free copy of WinZip? Other offers
Want to be notified when Wasp Static Error Checker is updated?
(no spam, just a single confirmation email)
Or need to download later?



Mass Search and Replace for Microsoft Word


Description:

The Wasp analyser statically detects subtle run-time errors
and weak points in a Java source code.

The following kinds of errors may be 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.
Method call graphs produced other existing tools are imprecise due
to weak analyses applied.

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.
For discount prices and coupon codes for software like Wasp Static Error Checker,
join the once weekly DownloadPipe.com newsletter Now!

We will not share your email address with anyone, period.
Privacy Policy
Quick Search:
Top  |  Store  |  Data Feeds  |  Advertise  |  Submit  |   Newsletters  |  Contact