» Source codes
 » » Java
Sections : Programming > Source codes > Java
Click to RATE : OneTwoThreeFourFive
Buy Free Wasp Static Error Checker download

Wasp Static Error Checker 3.1

Statically detects subtle run-time errors and weak points in a Java source code



Wasp Static Error Checker 3.1 facilities

ave. Lavrenteva, 6a
630090 Novosibirsk
Vendor`s Web
AcademSoft webshot
OSWindows 98, Windows 2000, Linux
LimitationsInstall and Uninstall
Actualizedmore than year ago
LicenseFree to try
SnapshotWasp Static Error Checker snapshot
Snapshot of Wasp Static Error Checker

Use this security logo:

100% SAFE logo

Wasp Static Error Checker manufacturer 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:
uninitialised variable,
unreachable branch in conditional or switch statement,
unreachable loop body or catch clause,
assignment of variable whose value is never used,
unreachable main exit 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.
Additionally, 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.

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.
free download Wasp Static Error Checker 3.1QUICK DOWNLOAD
Free download Wasp Static Error Checker 3.1


Wasp Static Error Checker video tutorials

Tutorial not found. Let know us about any useful video tutorial.

Wasp Static Error Checker categories

static, error, checker, java, windows, linux, analyser, wasp, lint, analyzer

What is new in 3.1 changeinfo log

Wasp 3.1 Java can be launched for program list; Wasp is compatible with JDK 1.4 and 1.3

Given stickers for Wasp Static Error Checker & download buttons

NOTE: move cursor over buttons to get html sources.
Clean award guarantees that Wasp Static Error Checker was tested by antivirus program and is absolutely clean, which means it does not contain any form of malware, including computer viruses, adware, trojans, spyware, rootkits, badware and other malicious and unwanted software.
Report view - CLEAN
Get from
Get from
Do you like Wasp Static Error Checker ? Move mouse cursor over the buttons and just copy one of those links, paste the code you copied right where you want on your blog or website.