Freeware, shareware download | Softempire.com

Wasp Static Error Checker. checker, debug

Games Utilities Internet Development Multimedia Mobile Desktop Business Education

Statically detects subtle run-time errors and weak points in a Java source code

Categories
ActiveX
IDE & Editors
Components & Libraries
Management & Distribution
Web
Databases
Software Development Utilities
Software Development Misc
Networks
Debugging
Java & programming languages

Editor's choice
Aspose.Project
Aspose.Project component that can read and write Microsoft Project documents

DC Dynamic Report
generate query reports in HTML from your database and design your own reports

Luxena Informix Data Access Components
IDAC: the best in BDE migration and rapid VCL client-server/n-tier development

.NET Barcode Professional
Barcode for Windows Forms .NET. Linear and 2D Symbologies. Visual Studio support

WinGDB
Visual Studio debugger extension for local (MinGW) or remote debugging using GDB

SD-Menu (Vertical Version)
Easy-to-use hierarchical vertical navigation menu.

How to Fix Corrupt SQL Database
Absolute and complete recovery solution for corrupt MDF SQL server database

Software downloads: Software Development / Java & programming languages


Test excellent software programs from the most popular webs sites! Check out popular utilities and perfect utilities. Acquire commercial utilities, public domain programs, free apps, and trials to recieve in miscellaneous groups. On Softempire you can always download a novel apps, or obtain the last releases of your most liked PC tools, apps, and relax softwares. To download the required software system to test, try handy program sorter or a smart Google. The Softempire aggregation is at once replenished: if there is the latest update of software system you seek, it is doubtless to be in the internet most wealthy package catalog!

Resources for software development: IDE & Editors, programming, testing, configuration management, databases and components. Huge collection of free components and utilities. Free download of all files.

  Download 

       View screenshots
Vendor Price: $ 299
License: Shareware
File Size: 1.22 Mb
Version: 3.1
Release Date: 3 Apr 2002
OS: Win95, Win98, WinNT 4.x, Windows2000, Linux
System Requirements: 64Mb RAM, 40-300Mb HD
Company: AcademSoft

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.

More download links for Wasp Static Error Checker...

Next product: Smart Print Control
More to download:
COMslicer

COMslicer traces run time calls to selected COM/DCOM objects. It displays values of input and output parameters for each method or property called by clients. COMslicer can trace in-process and out-of-process COM components written in VC++ or VB...

Proxy Workbench

Proxy Workbench is a unique proxy server ideal for developers, trainers and security experts that displays its data in real-time.

Automation Anywhere

Automation Anywhere is an intelligent automation software for business & IT processes. Automate & schedule complex tasks in minutes without any programming. Record keyboard & mouse or create scripts using wizards. Premier lice

Compressed Archive Checker

Compressed Archive Checker automatically checks a series of archive files to determine if archive members are missing from the sequence, have inconsistent byte sizes, or have bad CRC information.

SFVManager

Freeware batch checker/manager of SFV filesets, check, create, maintain, copy, move and zip support.

Jungle Checkers v1.5

Play against the computer or live opponent in a game of connect-four. The object is to strategically drop colored coconuts in the board racing against the opponent to form a line of four coconuts. The formed line may be vertical, horizontal or di...

Headline Typer Java Applet

You can use the applet freely to enhance your web pages (commerical or non-commerical). However, I placed a status bar warning that will appear when the applet is online on a site and regcode parameter isn't correct...

J2TextPrinter Individual License

J2TextPrinter is a Java 2 component for printing multipage rich text JTextPane documents. It fully utilizes the capabilities of the Java 2 printing model and prints any JTextPane contents (StyledDocument), including multiple fonts, sizes, styles,...

3D Stacked Vertical Bar Graph Software

3D Stacked Vertical Bar Graph provides both a client and server side solution for the incorporation of bar graphs into web pages. Versatile components enable web authors and Java developers to easily build and publish dynamic bar graphs


Advertisement

Windows Backup
Looking for backup software? Try Handy Backup - automatic data backup to DVD, CD, FTP, network, or Online. Client-server enterprise backup software.


Top Downloads
Thumbzilla allows you to create thumbnails from images (JPG and GIF) and mov...

DHTML Menu Builder which enable you to create perfect web menus of all kinds

Free Calendar Webpart to substitute for standard Webpart for SharePoint 2003...


New in Development
  1. ATS Excel Unlocker
  2. openElement
  3. Document Classification SDK
  4. Database Converters for Windows
  5. SentiVeillance SDK Trial
  6. EDB Recovery Application
  7. Skater Obfuscator
  8. Extensibility Studio
  9. C# Web Scraping Library
  10. Enstella Priv1 EDB Recovery
Wasp Static Error Checker - Free Software Download