| |
|
|
|
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 errorin 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 produceonly 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 evenafter debugging and testing stages of development because Waspdetects situations of real complexity. |
| « read more about Wasp Static Error Checker 3.2 |
|
|
RECOMMENDED DOWNLOADS IN THIS CATEGORY
|
|
|
|
| » JExeWrapper 1.0
|
| If you are a Java programmer then it is very likely you had to play around with batch files to make your programs run on Windows systems. And it is safe to say you ran into problems such as the need to set the classpath, making sure java was on the PATH s ... |
|
| IRDI Soft | 2745KB | Win 95/98/ME/2000/XP | $30 | Downloads: 33 |
| Date added: Sep 22, 2005 |
» Details |
|
|
| » StelsEngine JDBC Driver 1.2
|
| StelsEngine is a fast in-memory SQL engine for storing and processing tabular data in Java applications. Using StelsEngine, you can make processing data in your software considerably easier and quicker. StelsEngine is as easy to use as possible since it i ... |
|
| J-Stels Software | 137KB | Win 95/98/ME/2000/XP | $49 | Downloads: 27 |
| Date added: Sep 22, 2005 |
» Details |
|
|
| » EzMulticast 1.0
|
| EzMulticast is used to transmit a single message to a select group of recipients. EzMulticast acts as a server and a client to send and receive UDP datagrams. ... |
|
| EzJavabeans | 30KB | Not Applicable | $35.00 | Downloads: 27 |
| Date added: Sep 22, 2005 |
» Details |
|
|
| » Rmaxicode 1.0
|
| Java bean and servlet that creates Maxicode barcodes. This barcode was created by UPS and is mainly used in the transport industry. Rmaxicode supports modes 2 to 6 , structured append and error correction algorithms. ... |
|
| Jaume S. B. | 80 Kb | Windows 98/NT/2000 | $20 | Downloads: 36 |
| Date added: Sep 22, 2005 |
» Details |
|
|
| » Chameleon - Vertical Java Menu Applet 2
|
| Chameleon - Vertical Java Menu Applet Chameleon Java Menu Applet is an extremely powerful menu solution for your web site navigation. Now you can create beautiful design of menus and still make changes in labels, design of Menu-Items and/or whole menu st ... |
|
| A-pow.com | 0 | | $10 | Downloads: 23 |
| Date added: Sep 22, 2005 |
» Details |
|
|
| » install4j Enterprise Edition 2
|
| install4j is a cross platform Java installer that produces native launchers and installers for all major platforms. install4j offers an intuitive GUI that makes it easy to quickly define installation projects. A command line compiler and an ant integratio ... |
|
| Ej-technologies.com | 0 | Win 95Unix / Linux Macintosh / | $699 | Downloads: 27 |
| Date added: Sep 22, 2005 |
» Details |
|
|
| » NewsMaker 3.0.0.1
|
| NewsMaker is a smooth-scrolling text ticker-scroller that reads its items and links from a text file. Comes with free software tool to make message-and-link file. Supports background images and sound. Automatic headlining, auto-wrapping, text justific ... |
|
| MicroTicker.com | 141KB | Not Applicable | $19.95 | Downloads: 28 |
| Date added: Sep 22, 2005 |
» Details |
|
|
| » Enterprise Java Application Server 2.1
|
| Enterprise Java Application Server (EJAS) technology is a framework for developing and executing Distributed Applications. These Applications provide System - Level Services such as Transaction Management, Security, Client Connectivity and Database Access ... |
|
| Essen Energy Conversion Devices Pvt Ltd. | 17128KB | Win NT/2000 | $1200 | Downloads: 27 |
| Date added: Sep 22, 2005 |
» Details |
|
|
| » Advanced Graph and Chart Collection 4.6
|
| Add Powerful reporting features to your Web / Intranet pages and applications. With the advanced graphing package you will be quickly adding impressive dynamic charting capabilities bringing your data alive ! Powerful components provide both client & serv ... |
|
| Sirius Computer Consultants Limited | 1441KB | Win 95/98/ME/NT/2000/XP/CE | $195 | Downloads: 204 |
| Date added: Sep 22, 2005 |
» Details |
|
|
| » ImageZoom 2 2.0
|
| ImageZoom 2 Java Applet allows your site visitors to take a closer look at the images/photos inside your web pages, but also offers additional control features. A gradual zoom and gradual pan are only some of the new features found with ImageZoom2. Image ... |
|
| Vivaorange.com | 0 | Win 3.1/95MS DOS Unix / Linux | $24.95 | Downloads: 39 |
| Date added: Sep 22, 2005 |
» Details |
|
|
|
|
| » Reog 1.0
|
| Reog is Graphical User Interface in Windows platform for Karapan Sapi Struts Generator. Karapan Sapi Struts Generator is generator for Java based web application using Struts Framework. Visit the site at http://www.javanovic.com/products/reog.html ... |
|
| Javanovic.com | 0 | Win 95/NT/2000/XP/98/ME | $80 | Downloads: 60 |
| Date added: Sep 22, 2005 |
» Details |
|
|
| » Microsoft Script Control
|
| Microsoft Script Control is an ActiveX control which provides you with an easy way to make applications scriptable. You can use this program to extend your application functionality using scripts, as it is done with macros. This control is targeted towar ... |
|
| Microsoft Corporation | 204 Kb | Windows 95/98/NT/2000 | | Downloads: 34 |
| Date added: Sep 22, 2005 |
» Details |
|
|
| |
| Photon-software.com | 0 | Win 3.1/95MS DOS Unix / Linux | E11.5 | Downloads: 32 |
| Date added: Sep 22, 2005 |
» Details |
|
|
| » FTP Applet Professional Edition
|
| FTP Applet is a full-featured Java 1.1 based FTP client that runs in the context of your web browser. FTP Applet is targeted towards organizations wishing to provide their users an easy method of exchanging data without the need for installing FTP client ... |
|
| Jscape.com | 0 | Win 95Unix / Linux Macintosh P | $299 | Downloads: 23 |
| Date added: Sep 22, 2005 |
» Details |
|
|
| |
| Yworks.com | 0 | Win 95Unix / Linux Other syste | $69 | Downloads: 22 |
| Date added: Sep 22, 2005 |
» Details |
|
|
| » NIC Menu Applet 1.1
|
| Menu applet makes it easy to navigate your site. Each menu item displays text label and/or image. All colors, fonts and sizes are fully customizable. Submenus appear in separate windows. ... |
|
| Org.ru | 0 | Platform independent | $24 | Downloads: 26 |
| Date added: Sep 22, 2005 |
» Details |
|
|
| » JEasy 1.3rc1
|
| JEasy is an XML based application designer for Java. It uses the Swing classes to build perfect graphical interfaces for all Java platforms. The complete user interface is stored in XML. The JEasy classes read all properties out of the XML file at runt ... |
|
| CBSE | 1.14 MB | Windows 95/98/NT/2000 | | Downloads: 34 |
| Date added: Sep 22, 2005 |
» Details |
|
|
| » xFunction for Windows 2.14
|
| The xFunction library is the universal solution for integration of Java code with code written in other languages, superior in many aspects to Java Native Interface (JNI). With xFunction, you no longer need to implement those ugly native methods. Instead, ... |
|
| Excelsior-usa.com | 0 | Win 95/NT/2000/XP/98/ME | $50 | Downloads: 24 |
| Date added: Sep 22, 2005 |
» Details |
|
|
| » DocFlex/Together 1.x
|
| DocFlex/Together is a new generation template-driven documentation generator for Borland® Together® based on DocFlex Technology. Created by the authors of the old template-based `GenDoc` module in Together (developed during 1998-2000, yet in TogetherSof ... |
|
| FILIGRIS WORKS | 3459KB | Not Applicable | $387 | Downloads: 22 |
| Date added: Sep 22, 2005 |
» Details |
|
|
| » JavaC Booster 1.1
|
| JavaC Booster is an extension of Java Compiler (also known as JavaC) for Windows 32 systems. Using a permanent running copy of JVM lets Booster to accelerate compilation by reducing time of loading and JIT`ing, especially during frequent starting Java Com ... |
|
| DEF Group | 147KB | Win 95/98/ME/NT/2000/XP | $14 | Downloads: 38 |
| Date added: Sep 22, 2005 |
» Details |
|
|
|
|
| |
|