Wasp Static Error Checker V3.1

Wasp Static Error Checker 3.1

Wasp Static Error Checker 3.1

Thank you for downloading

Free Download Wasp Static Error Checker 3.1

The Wasp tool statically detects subtle run-time errors and weak points in a Java source code. Wasp also produces detailed and precise method call graph. ..

Wasp Static Error Checker 3.1 Description

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

33ware.com Editor: 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.

Wasp Static Error Checker 3.1 Screenshot

Wasp Static Error Checker 3.1 Related Software

Registry Fix and Cleaner 5.7 Repair DLL Error Messages and Fix General Protection Fault Errors.. -Receiving error messages and don' t know why? Did you know that. Repair.. Data wiper tool is an advanced wiping solution...

!-$ Error Fixer 3.0.3 Error Fixer v3.0.1 is an advanced registry cleaner for Windows that allows.cause of Windows crashes and error messages. By using PC tune-up.storage media. Data removal program permanently deletes...

!-$ Error Fix 3.0.0 Error Fix v3.0.0 is an advanced registry cleaner for Windows that allows.cause of Windows crashes and error messages. By using PC tune-up.he file and folder names within SharePoint have more...

Quickbooks File Repair 2.0 Recoverable Quickbooks Error Codes: The codes below are the common Quickbooks Error codes that are repairable. This is not a.files with other related.le system. Data recovery Windows...

Registry Cleaner download 3.0 you must keep it clean and error free. Our System registry cleaner and pc registry cleaner tool is a must have for every PC, Download our top rated System.ystem registry, history, cache, cookies, recent....

User Management Resource Administrator 7.2 automated error handling, complex user name-password generation and. all with built-in error handling and logging with requiring any configuration.le as well as structures of database. Application....

Error Doctor 2009.143 ERROR DOCTOR 2009 will fix hidden bugs and errors on your PC.by as much as 300 %. ERROR DOCTOR is the most advanced Error Remover software on the.d disk data cleaner program increases system...

!-Error Fixer 3.0.2 Error Fixer v3.0.1 is an advanced registry cleaner for Windows that allows.cause of Windows crashes and error messages. By using PC tune-up.s but also help you interpret others? dreams. People have...

Error Scan and Fix 3.0.6 cause of Windows crashes and error messages. By using PC tune-up utilities such as Error Scan and Fix regularly, your system will be more stable, your.a which are not deleted either you used Shift +....

Repair & Clean Registry Fast 2009.143 invalid entries that cause error messages, system slowdown, freezing and crashing..metimes to system failures. Auslogics Disk Defrag is designed for fast optimization of today's modern hard disks. Get...