File Flash - Your Downloads Start Here
Search

Wasp Static Error Checker 3.1

05/14/2007

     Category: Development Tools

Description of
Wasp Static Error Checker
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.
Windows 95, Windows 98, Windows NT, Windows 2000, Linux
Screenshot
Wasp Static Error Checker
More Similar Software
  Cypheros TS-Doctor 1.2.52
... Many modern satellite and cable receivers offer the ability to record television and radio programs by a so called PVR function. Such recordings are stored usually in the transport stream format (ts) or in a kindred format. Unfortunately, such recordings often contain errors or incompatibilities that lead to incompatible recordings that can't be played back on other devices without problems. Here, the TS-Doctor can help more than any other tool, for both SDTV and HDTV recordings. It ...
  Mortgage Home Loan Interest Manager Pro 3.1.060827
... Is your mortgage one of the thousands being overcharged interest EVERY DAY? Find out now. This mortgage loan error checker will calculate how much you have been overcharged, and help you protect the thousands you pay in interest each year. Simply load your mortgage details and let this software check your interest charges, calculate your refunds, audit your transactions and balances, and show you the daily interest charge on any loan. In addition, the powerful reports will help you manager and ...
  Home Loan Interest Manager Lite 4.1.070910
... Is your mortgage one of the thousands being overcharged interest EVERY DAY? Find out now. This mortgage statement error checker will calculate how much your bank has overcharged you, and help you protect the thousands you pay in interest each year. Simply load your mortgage statements and let this software check your interest charges, calculate your refunds, audit your statement transactions and balances, and show you the daily interest charge on any loan. In addition, the powerful reports will ...
  SFV Checker 1.22
... SFV Checker uses CRC-32 technology to check each file and notifies you of any potentially bad, corrupt, incorrect size or missing files to save you hours of downloading only to find you have 1 file missing or the last file has a CRC checksum error. The CRC value comparison is done by using a standard SFV file. If an SFV file is not available, you can drag and drop the file into the list view to produce the calculated CRC value. An informative report log is generated after file scanning that ...
  Mihov Link Checker 0.5
... Mihov Link Checker is a program that can check multiple links on a web site or a local web page. It reports the state of easch link: a link is valid or missing, forbidden or otherwise not accessible. All the links can be stored in a plain text file or the program can extract the links automatically from a local or internet page. Then each link is tested separately for HTML server response. The results are returned in a nice graphical way. The use of the program is easy - just enter the ...
 
Submit Rating

Author: AcademSoft
License: Shareware
Price: $299
File Size: 1.2 MB
Downloads: 2

Wasp Static Error Checker Download at File Flash  Download   Home Page  
 
Captcha verification code

Related Software
VeriLook Standard SDK Trial 3.0
Windows Password Analyser ( Administrator Edition) 3.1
Windows Password Analyser ( Enterprise Edition) 3.1
Valentina Studio for Mac 5.5
UltraMixer Free Edition 2.0.13
UltraMixer 2 Free 2.4.6
PDFOne (for Java) 3.5.2
jxProject 2.4.1.2
VeriFinger Standard SDK (Linux Demo) 4.2
Parallels Workstation for Linux 2.0
Catalog
Static
Error
Java
Linux
Wasp
Lint