Description From Publisher
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.
Supported OS
Win95,Win98,WinNT 4.x,Windows2000,Linux
Related Keywords
static static error error checker checker Java Java Windows Windows Linux Linux analyser analyser wasp wasp lint lint analyzer analyzer
|
|
Latest Other Realted Tools:
WaitForFile 1.0.1
Try to open a file with exclusive access. This can be very useful in a bat-file if you want to process a specific file that may be opened in another program (word for example). WaitForFile will block until it is able to open the specified file. |
vstr 1.0.14
Vstr is a safe and fast string library for C. It is designed for network communication. Its design uses of ptr+length data, so adding, substituting, and deleting data are all fast operations. |
Virtual Serial Port Kit 5.2.2
Virtual Serial Port Kit creates pairs of virtual serial ports in your system which are virtually connected to each other. Physical null modem cables are not required. You can connect any number of virtual port pairs. It's very useful for debugging. |
Virtual Serial Port Driver XP4 4.0
Using Virtual Serial Port Driver XP4 you can create virtual serial COM port pairs which are virtually connected to each other via virtual null-modem cable and for other Windows applications seen as real serial ports connected via null-modem cable. |
AlarIT Virtual Serial Driver .IP (AVSD.IP) 2.0
AVSD.IP gives you the possibility to give the remote access to serial port via TCP/IP. |
Virtual Serial Port Driver 9x 2.0
Virtual Serial Ports Driver (VSPD) is a Windows device driver. Using it you can create two virtual serial COM ports in your system which will be virtually connected to each other. |
Virtual Serial Port ActiveX Control 1.0
Create virtual serial port directly from your application and work with it. Full serial port software emulation. Compatible with VB, VC++, C++ Builder and Delphi. |
Virtual Serial Port ActiveX Control 2.5.1
Create virtual serial port directly from your application and work with it. Full serial port software emulation. Compatible with VB, VC++, C++ Builder and Delphi. |
VS.NETcodePrint 2003 7.2.5
This Add-In to Microsoft Visual Studio.NET 2003 significantly enhances source code printing capabilities. Print a complete Solution, selected projects, project items, namespaces, classes, modules. The output can be exported to HTML, PDF and RTF. |
VLViewPort 1.0
Cramped for space on your forms? You don't have use multiple forms or tabs,
use VLViewPort, get scrollable viewport with auto scrolling ability. A
classic example of our minimal plumbing control philosophy. |
VLPropertyList 2.0
Visualize and edit multi-level categorized properties with VLPropertyList control. It provides a compact, intuitive visual interface for a variety of data types. Display properties of COM object or browse ADO recordset with a single line of code. |
VLMenuPlus 5.0
Add stunning looks to your application menus. Customize menu colors, highlight styles (includes Office 2003 and Office XP style), menu border style. Use unicode for menu captions, add menu item bitmaps, menu background bitmaps, show menu tooltips. |
VLFullScreen 1.0
Add full screening ability to your VB application with this drop-in full screening control.
Believe us, you won't need to write even a single line of code. |
|
