Wasp Static Error Checker 3.1
| 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: 167
Downloads - Last Week: 3
|
|
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...
|
|
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...
|
|
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 ...
|
|
GAO Tek Inc. Released Datacom Tester [2008-06-17 22:46:17]
For Immediate Release
GAO Tek Inc. Released Datacom Tester
Toronto, ON GAO Tek Inc. has released its new E1/Datacom Tester, model # GAO5854. this multi-functional and full-featured digital t...
|
|
ValidatorBuddy for XMLSpy - A new PlugIn for the XML editor [2006-10-05 15:21:28]
Did you ever want to run MSXML or Saxonica (Saxon-SA) as XML validator directly in XMLSpy? Without starting a batch file, maybe copy-pasting the path of the current document and looking at the results...
|
|
|
|
| MySharpSQL |
Learn from ebook and well commented example source codes, the easy way to use MySQL with C#. In addition to an ebook, this package contains a real world .NET program that allows you to manage a collection of MySQL and C# programming notes. |
|
| HS XMODEM C Source Library |
HS XMODEM is a software library in C (supplied with full source code) that provides a programmer with the off-the-shelf support for XMODEM protocol data transfer capability. Support for both sender and receiver are provided. |
|
| HS Compress C Source Library |
HS Compress is a software library (supplied with full C source code) which provides a programmer with a lossless compression / decompression algorithm based on RLE (runtime length encoding) |
|
| 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. |
|
| 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. |
|
| 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. |
|
| 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. |
|
|