Wasp Static Error Checker 3.1
Detects subtle run-time errors in a Java code
| Details |
View: screenshot
Size: 1.22 MB
License: Shareware
OS: Win95,Win98,WinNT 4.x,Windows2000,Linux
Price: $299
Publisher: AcademSoft
|
Date added: 6/18/2005
Date updated: 4/12/2006
Total Downloads: 232
Downloads - Last Week: 1
|
|
Wasp Static Error Checker 3.1 Publisher's description
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.
Requirements: 64Mb RAM, 40-300Mb HD
What's new in this version: Wasp 3.1 Java can be launched for program list; Wasp is compatible with JDK 1.4 and 1.3
|
| Antivirus information |
|
Download3K did not scan Wasp Static Error Checker for viruses, adware, spyware or other badware. For your own safety, we recommend that you always have an antivirus, with virus definitions up to date, installed on your computer when downloading and installing programs from the web.
|
| Related press releases |
Wasp Factory Records Releases its Music Digitally on Mperia for 50 Cents a Track [2004-06-29 00:00:00]
Wasp Factory Records and BitPass are helping to change music distribution with the digital release of almost 100 tracks of music on Mperia.com. Mperia is democratizing the distribution of music by giv...
|
|
Free Link Checker - freeware broken link validator for your website [2008-02-20 07:19:14]
Free Link Checker - freeware broken link validator - has been released
Control-F Search Technologies has released a freeware broken links checker called Free Link Checker. The program allows a user...
|
|
Error Cleaner v5.0 - System Utilities::System Maintenance Software [2009-11-02 00:23:08]
Error Cleaner has announced Error Cleaner.
Error Cleaner is a suite of tools to clean your system, it includes Disk Cleaner, Registry Cleaner, History Cleaner, and Startup Cleaner. it allows you to...
|
|
WebTweakTools.NET Releases Fast Link Checker 1.5.0.564 [2006-05-01 00:00:00]
New PC tool suited to check web sites for broken links.
One of the most important indicators of a high-quality site is absence of broken links. There is nothing worse for a user than coming across ei...
|
|
Photo2VCD 4.1.0 is available now! [2005-05-08 00:00:00]
Photo2VCD Studio is a powerful but easy-to- use slide show software that can help you to burn your digital photo slide show to VCD/SVCD format with lots of transition effects and selection menu.
Enjo...
|
|
RapidSpell Desktop .NET v4 released [2008-08-01 12:01:00]
Keyoti are pleased to release v4 of RapidSpell Desktop .NET. RapidSpell allows you to add spell checking to Windows Forms and WPF applications.
Free evaluation download can be found here, http://ke...
|
|
27 Tools-in-1 Wichio Browser - Multi-page browser with built-in 27 utilities: Pr... [2006-02-27 00:00:00]
Wichio is a multipage Web browser with 27 built-in utilities. It's easy to use, with a button for each utility. To set options for any utility, just right-click its button. If you install the MS speec...
|
|
JavaScript Spell Check - At Last, after 1- years [2006-05-20 00:00:00]
JavaScript Spell Check - At Last, after 1- years
http://www.javascriptspellcheck.com finally offers the "missing" JavaScript Spell Check Functions fo developers - including:
The Software Extends you...
|
|
Net Profile Switch v. 3.77 has been released. [2005-08-12 00:00:00]
JitBit Net Profile Switch allows switching between two or more network configurations. Configuration includes TCP/IP-settings of your network interface, Internet Explorer or Mozilla FireFox proxy sett...
|
|
Websitestatscounter.com is expanding its range of free webmaster tools [2007-11-20 15:37:18]
The popular free website traffic tracking website, websitestatscounter.com, is currently developing over 50 new webmaster tools for its customers which will be available to use by all holders of free ...
|
|
|
|
| absolutePDF-Creator Easy |
 absolutePDF-Creator Easy is a easy to use ActiveX COM Control that enables you to create PDF files from within your Windows applications. Import existing PDF. Can be used with any ActiveX COM aware programming environment. |
|
| DDQM |
 Excellent Query Management tool for DBISAM 4 Users. Complete with Categorization, Syntax Coloring, Live Result Editing, One-Click Export to MS Excel, and much, much, more. |
|
| PSPad editor |
 PSPad editor is a programmers editor with support for multiple syntax highlighting profiles. It comes with a hex editor, CP conversion, text differences, templates, macros, spellcheck option, auto-completion, Code Explorer and much more. |
|
| QuickUML Windows |
 QuickUML is a software design tool that tightly integrates a core set of UML models with code generation. A project is presented through a tabbed window of use cases, class models, object models, dictionary and code and saved as an XML file. |
|
| VintaSoftTwain.NET Library |
 Control a scanner or camera from your .NET application. VintaSoftTwain.NET Library allows to control the image acquisition process, use automatic documents feeder, save acquired images to disk or into SQL database, upload them to Web or FTP servers. |
|
| Vbs2Exe |
 With Vbs2Exe you can compile your scripts and batch files to standalone executables, the easy to use interface provides a simple way to protect your scripts before you distribute them to your clients. |
|
| Hex Workshop |
 Hex Workshop is a set of hexadecimal development tools for Windows that combines advanced binary editing with the ease and flexibility of a word processor. |
|
|
Software Development
