| |
|
|
|
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
|
|
|
|
| » CNE Image Button Applet 1.0
|
| CNE Image Button Applet with 36 effects. Create menus containing interactive web buttons. A great way to create eye-popping menus for your web pages. 36 effects are available to take your images that you have designed and turn them into professional att ... |
|
| Cold North Enterprises Inc. | 67KB | Win 95/98/ME/NT/2000/XP | $29.95 | Downloads: 1091 |
| Date added: Sep 22, 2005 |
» Details |
|
|
| » EzPOP 1.0
|
| EzPOP 1.0 javabean implements a POP3 client to retrieve e-mail from a Post Office Protocol (POP3) Server. Retrieving electronic mail has never been so easy! ... |
|
| EzJavabeans | 30KB | Not Applicable | $35.00 | Downloads: 1265 |
| 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: 1110 |
| Date added: Sep 22, 2005 |
» Details |
|
|
| » EzClock 1.0
|
| EzClock Query a time server to get the exact time. EzClock retrieves the time from an atomic clock server and can automatically set your system time. ... |
|
| EzJavabeans | 30KB | Not Applicable | $20.00 | Downloads: 1201 |
| Date added: Sep 22, 2005 |
» Details |
|
|
| » eOrdering Complete 2.6.2
|
| eOrdering Complete is an application that creates Shopping cart and online store solutions. eOrdering Complete uses shopping cart technology to allow the user to store a users order, so they can move around your site and place their order when they want. ... |
|
| LAJ Design | 2755KB | Win 98/ME/2000/XP | $65 | Downloads: 1121 |
| Date added: Sep 22, 2005 |
» Details |
|
|
| » Advanced Installer for Java 3.2
|
| Advanced Installer For Java 3.2 is a Windows Installer authoring tool with built-in support for Java applications, integrating them fully into the Windows OS and making them look and feel just like a native application. Advanced Installer for Java runs on ... |
|
| Caphyon LLC | 3475KB | Win 2000/XP | $299 | Downloads: 1512 |
| Date added: Sep 22, 2005 |
» Details |
|
|
| » Aspose.PDF.Kit for Java 1.0
|
| Aspose.PDF.Kit for Java is a Java Pdf document manipulating component which allows developers to Edit the existing pdf documents, such as appending and inserting pages, concatenating two pdf documents, splitting one file into two sub-files; Show and chang ... |
|
| Aspose Pty Ltd | 6365KB | Win 2000/XP | $399 | Downloads: 1176 |
| Date added: Sep 22, 2005 |
» Details |
|
|
| » JDataGrid Database Edition 1.6
|
| JDataTable provides a Java data grid component for database, support ResultSet and RowSet, column sorting, print and print preview and export file for multiple format and more. ... |
|
| Extreme Component, Inc. | 1207KB | Win 95/98/ME/NT/2000/XP | $49 | Downloads: 1191 |
| Date added: Sep 22, 2005 |
» Details |
|
|
| » ComponentSet 1.3.1
|
| ComponentSet includes JWizardPane, Layout Suite, JDirChooser, JCalendar, JFontChooser, JLinkButton, JSidePane, JSideBar, JStatusBar, JImageViewer, XTree, XCheckBox, XSeparator, AComboBox, JCardPane, JGridPane. ... |
|
| Extreme Component, Inc. | 527KB | Win 95/98/ME/NT/2000/XP | $59 | Downloads: 1182 |
| Date added: Sep 22, 2005 |
» Details |
|
|
| » jPDFViewer 2.20
|
| jPDFViewer is a Java bean that you can embed in your Java applications and applets to view PDF documents. With jPDFViewer, you can deliver content to your users right through your application without the need to install third party programs. jPDFViewer i ... |
|
| Qoppa Software | 350KB | Win 3.x/95/98/ME/NT/2000/XP | $1000 | Downloads: 1194 |
| Date added: Sep 22, 2005 |
» Details |
|
|
|
|
| » 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: 1209 |
| Date added: Sep 22, 2005 |
» Details |
|
|
| » xFunction for Windows 2.16
|
| 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, LLC | 176KB | Win 95/98/ME/NT/2000/XP | $50 | Downloads: 1184 |
| Date added: Sep 22, 2005 |
» Details |
|
|
| » PANNASOFT INGENUITY 1.x
|
| Artificial neural networks (ANNs) resembled the human nervous system, with algorithms consisting of weighted interconnecting processing units (like neural map of the human brain). To address a particular problem using ANNs, the interrelated connections ar ... |
|
| PANNASOFT TECHNOLOGIES SDN BHD | 2079KB | Not Applicable | $2000.00 | Downloads: 1190 |
| Date added: Sep 22, 2005 |
» Details |
|
|
| » Aspose.Excel for Java 1.0
|
| Aspose.Excel for Java is a Java spreadsheet creation engine. It can read, modify and write Excel file in different platforms, such as Windows, Linux and Unix. With this component, your Java programs will have the ability to present data in the most popula ... |
|
| Aspose Pty Ltd | 828KB | Win 2000/XP | $449 | Downloads: 1184 |
| Date added: Sep 22, 2005 |
» Details |
|
|
| » Aspose.Pdf For Java 1.0
|
| Aspose.Pdf For Java is a Java Pdf document reporting component. With it, you can: you to converting an existing XML file stream(.xml) plus a style-sheet file (.xsl) to a new a PDF file stream;Converting an existing FO file stream to a new PDF file stream; ... |
|
| Aspose Pty Ltd | 519KB | Win 2000/XP | $329 | Downloads: 1175 |
| Date added: Sep 22, 2005 |
» Details |
|
|
| » Visual Paradigm for UML (Community Edition) for Windows 5.0
|
| Visual Paradigm for UML (VP-UML) is a superior UML tool that supports full software lifecycle - analysis, design, construction, testing and deployment. The UML modeling software helps you build quality applications faster, better and cheaper. You can draw ... |
|
| Visual Paradigm | 102529KB | Win 95/98/ME/NT/2000/XP | 0 | Downloads: 1112 |
| Date added: Sep 22, 2005 |
» Details |
|
|
| » Visual Paradigm for UML (Standard Edition) for Windows 5.0
|
| Visual Paradigm for UML is a professional UML tool that supports complete software lifecycle - object-oriented analysis, object-oriented design, construction, testing and deployment. The UML modeling software helps you build quality applications faster, b ... |
|
| Visual Paradigm | 102519KB | Win 95/98/ME/NT/2000/XP | $299 | Downloads: 1054 |
| Date added: Sep 22, 2005 |
» Details |
|
|
| » Visual Paradigm for UML (Professional Edition) for Windows 5.0
|
| Visual Paradigm for UML (VP-UML) is a superior UML tool that supports full software lifecycle - analysis, design, construction, testing and deployment. The UML modeling software helps you build quality applications faster, better and cheaper. You can draw ... |
|
| Visual Paradigm | 189028KB | Win 95/98/ME/NT/2000/XP | $699 | Downloads: 1106 |
| Date added: Sep 22, 2005 |
» Details |
|
|
| |
| Visual Paradigm | 92230KB | Win 95/98/ME/NT/2000/XP | $699 | Downloads: 1084 |
| Date added: Sep 22, 2005 |
» Details |
|
|
| » Visual Paradigm for UML (Standard Edition) for Java Platform 5.0
|
| Visual Paradigm for UML (VP-UML) is a superior but user-friendly UML modeling tool that supports full software lifecycle - analysis, design, construction, testing and deployment. The UML CASE tool helps you build quality applications faster, better and ch ... |
|
| Visual Paradigm | 86539KB | Win 95/98/ME/NT/2000/XP | $299 | Downloads: 1130 |
| Date added: Sep 22, 2005 |
» Details |
|
|
|
|
| |
