Wasp Static Error Checker 3.1 |
|
|
Category:
Development Tools
|
|
Description of Wasp Static Error Checker
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.
|
| Screenshot |
|
|
| More Similar Software |
 |
Wimpy Wasp 2.0.5
...
Wasp allows you to present and play Flash video on your web site without the need for back-end server-side scripting such as PHP or ASP or an expensive streaming server. With the Wasp, you get an efficient, simple and fast solution for putting Flash video wherever you want on your website. There are two ways to implement Wasp: Through standard HTML or through JavaScript.
...
|
| |
ActMon PWL Password Finder (WASP) 2.03
...
WASP displays all passwords of the currently logged in user that are stored in the Microsoft PWL file password database. It allows the convenient management (i. e. supervision and /or deletion) of this file to improve the security / privacy of your PC. It is also very useful for educational purposes about computer security. The documentation also contains general information about the PWL files and their security. This software is designed for Win 95 / 98 / ME. Real Freeware.
...
|
| |
Audio WASP 1.0.0 b1
...
Audio WASP (Web Audio Sync and Publish) is an audio captioning and web publishing tool for web newbies to internet pros and lazy gurus who'd rather be drinking beer than programming :)
Audio WASP helps you put captioned audio and video on the web quickly and easily. You only need your audio or video file and a text file with the captions and titles that you want to display.
Use Audio WASP to create engaging ebooks, audio books, video books, captioned audio and video presentations,
...
|
| |
DeepTrawl 2.1.0
...
Link checker and more. Find every broken link and other website errors in seconds. DeepTrawl is a Windows / Mac application which allows website owners to find & fix website errors.
Without DeepTrawl, keeping your website error free is a laborious manual process of checking for broken links, spell checking content, validating your html page by page to ensure browser compatibility and many other time consuming tasks. With a single click DeepTrawl quickly scans your entire site for these
...
|
| |
SFV Checker 1.22
...
SFV Checker uses CRC-32 technology to check each file and notifies you of any potentially bad, corrupt, incorrect size or missing files to save you hours of downloading only to find you have 1 file missing or the last file has a CRC checksum error.
The CRC value comparison is done by using a standard SFV file. If an SFV file is not available, you can drag and drop the file into the list view to produce the calculated CRC value. An informative report log is generated after file scanning that
...
|
|
|
| |
|
|
|
| Author: |
AcademSoft |
| License: |
Shareware |
| Price: |
$299 |
| File Size: |
1.2 MB |
| Downloads: |
1 |
|
|
|
|
|
| |
| |
| |
|
Submit Software