| |
|
|
|
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. |
|
|
|
NEWS
So far, nothing for that!
RECOMMENDED DOWNLOADS IN THIS CATEGORY
|
|
|
|
| » NeuChat (50 users) - Platform Independent 2.3
|
| Empower your website, your organization`s intranet, and your customers with the real-time communication capability that they desire in order to communicate their needs directly to you! NeuChat allows you and your end-users to communicate more efficiently ... |
|
| Neunetsolutions.com | 0 | Win 95Unix / Linux Platform in | $169 | Downloads: 27 |
| Date added: Sep 22, 2005 |
» Details |
|
|
| » Magi Toolkit for Java 2.0.1
|
| The Magi Toolkit for Java provides a collection of components and utility classes for Java developers to make their life easier. Developers can benefit from a range of add-ons, such as Java Swing components and extensions, Collections extensions, utility ... |
|
| Magi Systems Pty Ltd | 191KB | Win 95/98/ME/NT/2000/XP | $15 | Downloads: 27 |
| Date added: Sep 22, 2005 |
» Details |
|
|
| » JSuite 4.0
|
| JSuite is a set of 19 JavaBeans components for enhancing the user interface of any Java application. The following components are included: calendar, data table, tab, and treeview. Also included is a collection of user interface design effects, including ... |
|
| Protoview Development Corporation | 2.92 MB | Windows 95/98/NT/2000 | | Downloads: 46 |
| Date added: Sep 22, 2005 |
» Details |
|
|
| » EzWhois 1.0
|
| EzWhois Query a Whois Server for information about a domain name or IP address. Find out all you need to know about a domain with just a few lines of code! ... |
|
| EzJavabeans | 30KB | Not Applicable | 0 | Downloads: 35 |
| Date added: Sep 22, 2005 |
» Details |
|
|
| |
| Webcabcomponents.com | 0 | | $967 | Downloads: 16 |
| Date added: Sep 22, 2005 |
» Details |
|
|
| |
| Opi.dk | 0 | Win NT/2000/XP | $374 | Downloads: 20 |
| Date added: Sep 22, 2005 |
» Details |
|
|
| » Wasp Static Error Checker 3.2
|
| 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, impermissi ... |
|
| AcademSoft | 975KB | Win 95/98/NT/2000/XP | $299 | Downloads: 26 |
| Date added: Sep 22, 2005 |
» Details |
|
|
| » Applet Menu Builder 2.0
|
| Applet Menu Builder is a powerful applet-producing design tool for creating professional Java menu on Web pages. Applet can be customized highly and easy by using a Applet Configuration Program. You can define text, image, font, color, URL and more for th ... |
|
| USINGIT.COM | 674KB | Windows 95/98/NT/2000 | $24.95 | Downloads: 35 |
| Date added: Sep 22, 2005 |
» Details |
|
|
| » NeuChat (250 users) - Windows Installer 2.3
|
| Empower your website, your organization`s intranet, and your customers with the real-time communication capability that they desire in order to communicate their needs directly to you! NeuChat allows you and your end-users to communicate more efficiently ... |
|
| Neunetsolutions.com | 0 | Win 95/NT/2000/XP/98/ME | $339 | Downloads: 30 |
| Date added: Sep 22, 2005 |
» Details |
|
|
| » License4J 1.2
|
| License4J is a pure Java library for creating and validating licenses. The key concept is features of a license. You can easily add any feature to your license file, i.e. name of the product, version, expiry date, number of executable instances, customer` ... |
|
| Smardec | 56KB | Not Applicable | $60 | Downloads: 31 |
| Date added: Sep 22, 2005 |
» Details |
|
|
|
|
| » AcuteApplets - Web Design Applets 1.0
|
| A full featured vertical scroller in a very small package. Can be used for messages, topics, even to help fill-in forms. Includes examples, tutorials and documentation. ... |
|
| Magnus Enarsson | 136 Kb | Windows 98/NT/2000 | $15 | Downloads: 38 |
| Date added: Sep 22, 2005 |
» Details |
|
|
| » Tynamo for TINI (100-unit) 1.0
|
| Tynamo for TINI is a fast, conditionally compliant HTTP/1.1 server and Servlet 2.2 container for Dallas Semiconductor`s TINI platform. This server provides both speed and conformance to the specifications. This licence permits 100 deployments. ... |
|
| Qindesign.com | 0 | Other systems | $500 | Downloads: 28 |
| Date added: Sep 22, 2005 |
» Details |
|
|
| |
| Webcabcomponents.com | 0 | | $349 | Downloads: 18 |
| 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: 57 |
| Date added: Sep 22, 2005 |
» Details |
|
|
| » Jazz3D Lite - 3D API for Java 3
|
| Jazz3D Lite is a 3D graphics API for Java. It is very powerful, and extremely easy to use. Features include: texture mapping, accurate collision detection, real-time image processing, bilinear filtering - the list goes on. The Lite version of Jazz3D remo ... |
|
| Sygem.com | 0 | Platform independent | $35 | Downloads: 29 |
| Date added: Sep 22, 2005 |
» Details |
|
|
| |
| Webcabcomponents.com | 0 | | $258 | Downloads: 21 |
| 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 |
|
|
| » A Scrolling Text Applet - Now Free. 1.1
|
| Provide an animated look and feel to your web pages. Scrolling Text is a Java applet that will automatically size itself to the available area given to it by the HTML form via the WIDTH and HEIGHT properties of the APPLET tag. There are many configurable ... |
|
| Sirius Computer Consultants Limited | 30KB | MAC 68k | 0 | Downloads: 39 |
| Date added: Sep 22, 2005 |
» Details |
|
|
| » Microsoft Windows Script Encoder 1.0
|
| Microsoft Windows Script Encoder lets you encode your scripts in HTML documents, ASP pages, and Windows Script Host files to impede users from reading your code. ... |
|
| Microsoft Corporation | 128 Kb | Windows 95/98/NT/2000 | | Downloads: 21 |
| 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: 26 |
| Date added: Sep 22, 2005 |
» Details |
|
|
|
|
| |
|