| |
|
|
|
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
|
|
|
|
| |
| Jinsight.com | 0 | Platform independent | $100 | Downloads: 1678 |
| 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: 1686 |
| Date added: Sep 22, 2005 |
» Details |
|
|
| » ObjectRotate 1
|
| Java ObjectRotate gives you the ability to make objects seemingly rotate on your web page. The applet can rotate objects to the right or to the left, allowing you to see the object itself from all sides. ObjectRotate is the perfect solution for e-commerce ... |
|
| Vivaorange.com | 0 | Win 3.1/95MS DOS Unix / Linux | $15 | Downloads: 1597 |
| Date added: Sep 22, 2005 |
» Details |
|
|
| |
| Vivaorange.com | 0 | Win 3.1/95MS DOS Unix / Linux | $100 | Downloads: 1500 |
| Date added: Sep 22, 2005 |
» Details |
|
|
| » Sothink CoolMenu 3.0
|
| Sothink CoolMenu is a flexible menu tool to create pop-up Java menu. Using CoolMenu, users can create unlimited menu items at their pleasure without knowing HTML or Java codes. It provides two ways to create a new effect so that users can select a well- ... |
|
| Sothink.com | 0 | Win 95/NT/2000/98/ME | $25 | Downloads: 1759 |
| Date added: Sep 22, 2005 |
» Details |
|
|
| » JCreator Pro : 1-user License 2.50
|
| JCreator is an integrated development environment for Java programmers. For use in conjunction with the Java Developer Kit (JDK™) from Sun Microsystems. JCreator provides the user with a wide range of functionality such as : Project management, proj ... |
|
| Jcreator.net | 0 | Win 95/NT/2000/XP/98/ME | $69 | Downloads: 1613 |
| 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: 1557 |
| Date added: Sep 22, 2005 |
» Details |
|
|
| » 1st Javascript Library(Coocool) 3.0
|
| Coocool is a shareware program that allows web developers the ability to easily add advanced java script and DHTML code to their web pages. Coocool also allows web developers to easily add java applets to their web pages. ... |
|
| Free-screensaver-maker.com | 0 | Win 95/NT/2000/XP/98/ME | $29.95 | Downloads: 1917 |
| Date added: Sep 22, 2005 |
» Details |
|
|
| » JOPCClient (3-5 pcs, discount: 25% ) 1.201
|
| New JOPCClient version 1.200 The new version includes: dynamic lookup of OPC server names dynamic lookup and browsing of item names on the OPC server automatic detection of item datatypes use of international characters in item and group names (UNICODE su ... |
|
| Opi.dk | 0 | Win NT/2000/XP | $375 | Downloads: 1520 |
| Date added: Sep 22, 2005 |
» Details |
|
|
| » JOPCClient (more than 5 pcs, discount: 35%) 1.201
|
| New JOPCClient version 1.200 The new version includes: dynamic lookup of OPC server names dynamic lookup and browsing of item names on the OPC server automatic detection of item datatypes use of international characters in item and group names (UNICODE su ... |
|
| Opi.dk | 0 | Win NT/2000/XP | $325 | Downloads: 1534 |
| Date added: Sep 22, 2005 |
» Details |
|
|
|
|
| » JOPCClient (1-2 pcs) with 1 year Service agreement 1.201
|
| Product description With JOPCClient you can now develop Java applications with the ability to read and write values from/to any device supported by an OPC server. The JOPCClient will run on the Windows platform only (NT/2000/XP), but it will run on any JV ... |
|
| Opi.dk | 0 | Win NT/2000/XP | $575 | Downloads: 1615 |
| Date added: Sep 22, 2005 |
» Details |
|
|
| |
| Opi.dk | 0 | Win NT/2000/XP | $431 | Downloads: 1567 |
| Date added: Sep 22, 2005 |
» Details |
|
|
| |
| Opi.dk | 0 | Win NT/2000/XP | $374 | Downloads: 1555 |
| Date added: Sep 22, 2005 |
» Details |
|
|
| » FS1 Menu Applet 1.2
|
| Multi-level menu system with mouseover/mouseout animation effects generated from two images. Submenus appear in separate windows. ... |
|
| Org.ru | 0 | Platform independent | $24 | Downloads: 1564 |
| 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: 1597 |
| Date added: Sep 22, 2005 |
» Details |
|
|
| » JEP - Java Math Expression Parser 2.12 2.12
|
| Features Easy-to-use package for parsing mathematical expressions Supports boolean expressions (!, &&, ||, <, >, !=, ==, >=, and <=) Variable values can be set externally The expression does not need to be parsed again if variables c ... |
|
| Sourceforge.net | 0 | Platform independent | $90 | Downloads: 1556 |
| Date added: Sep 22, 2005 |
» Details |
|
|
| » JNIWrapper for Windows 1.3
|
| JNIWrapper is the technology that eliminates difficulties in working with native code from Java(TM) programs using standard JNI (Java Native Interface) approach. With JNIWrapper you do not have to create native code libraries to call a function of the ... |
|
| Jniwrapper.com | 0 | Win 95/NT/2000/XP/98/ME | $74 | Downloads: 1586 |
| Date added: Sep 22, 2005 |
» Details |
|
|
| » JProfiler 2.0
|
| JProfiler is a fully dynamic profiler based on the Java virtual machine profiling interface (JVMPI). JProfiler is targeted at J2EE and J2SE applications. It features: CPU profiling Inspect the dynamic call tree and the hotspots of your application as i ... |
|
| Ej-technologies.com | 0 | Win 95Unix / Linux Macintosh / | $499 | Downloads: 1614 |
| Date added: Sep 22, 2005 |
» Details |
|
|
| » JProfiler with Gold Support 2.0
|
| JProfiler is a fully dynamic profiler based on the Java virtual machine profiling interface (JVMPI). JProfiler is targeted at J2EE and J2SE applications. It features: CPU profiling Inspect the dynamic call tree and the hotspots of your application as i ... |
|
| Ej-technologies.com | 0 | Win 95Unix / Linux Macintosh / | $698 | Downloads: 1750 |
| 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: 1773 |
| Date added: Sep 22, 2005 |
» Details |
|
|
|
|
| |
