|
Wasp Static Error Checker 3.1
( View screenshot )
|
| The Wasp tool statically detects subtle run-time errors and weak points in a Java source code. Wasp also produces detailed and precise method call graph. |
|
| Updated |
Jan 1, 2006 05:36:42 | | Size | 1246 kb | | Licence | Shareware | | Status | New Release | | Languages | English | | Tags | static, error, checker, Java, Windows, Linux, analyser, wasp, lint, analyzer | | OS | Windows 95, Windows 98, Windows NT, Windows 2000, Unix | | Homepage | waspsoft.com | | Email | wasp@waspsoft.com | | Author | Vladimir Shelekhov |
|
|
 click for full size
|
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. | Short tags:
static, error, checker, Java, Windows, Linux, analyser, wasp, lint, analyzer | System Requirements:
64Mb RAM, 40-300Mb HD | Change Info:
Wasp 3.1 Java can be launched for program list; Wasp is compatible with JDK 1.4 and 1.3 | |
| | Freeware alternatives Wasp Static Error Checker 3.1 |
|  Free Download Wasp Static Error Checker 3.1 from waspsoft.com |
| Similar software shotlights: | - JiveLint 1.22 — Employ powerful static analysis on your JAVA source code. Find unused code, switch blocks without default case, etc. JiveLint is a tool employing powerful static analysis on your JAVA source code. For…
- Unlimited Checkers 1.1 — Unlimited Checkers is a Java-based checkers (also known as draughts) game. It features two modes (Regular & Unlimited), good graphics, optional hints, sound effects including audio from your…
| | Find all software similar on Wasp Static Error Checker 3.1 |
| Similar smart reviews: | - Fast Link Checker 1.5, Well-Linked Site — Fast Link Checker addresses the problem of checking links between files and pages on a website of any size and complexity. It works just like a «web-crawler»: starts from an arbitrary page and goes through all links until all links within your site are analyzed; then, Fast Link Checker provides you with a detailed report on links that are broken, their location, and the specific error that…
- Addict 3.5, Spell-Checked! — Addict Component Suite is a set of VCL components for Borland Delphi/C++ Builder (wide range of Borland/Turbo IDE versions are supported). The suite is designed to solve spell-checking issues once and for all: virtually any scenario of checking is easily supported with highly customizable controls. The basic option is the dialog-based spell-check: you click on the «check» item…
- RIT 1.6, Check the Intelligence — Typical software or paper-based «intelligence tests» are a one-time thing; once you’ve run through a test, the next run will show incorrect results. Moreover, once you’ve run through one of intelligence tests, other similar ones will also become «inappropriate» for you. That’s because of the usual approach to intelligence testing: a set of static…
- OscilloMeter - Spectrum Analyzer — Spectrum analysis is used in a wide range of tasks — from equipment configuration and fine tuning to the analysis of scientific recordings and creation of voice recognition software. Professional equipment for high-quality sound analysis is extremely expensive and cannot be quickly reconfigured or updated. A computer-based system is a great alternative, which guarantees…
- Site Content Analyzer 2.1: Your Own SEO Professional — First of all, if you have your own web site — you need this software (OK, you don’t need it if don’t care about the site attendance). If your work is targeting web sites popularity — you need this software. If your competitors are more known than you — you need this software. If the words «keyword», «search engine optimization»…
- GRKda - Keyword Density Analyzer — It is well-known that the position of any web page in search results (and, therefore, its «findability» and the number of visitors) for the most part depends on the «keywords density» in that page, which simply means the part of «relevant» words and phrases relative to the total page words count. Unfortunately, the (apparently) simple task of keyword density…
- Poker Analyzer, Software Trump Card — You may be professional or amateur; you may play once a month or once every evening. You may play for money or just to kill your time; you may play an incredibly risky strategy or just a guaranteed win. Nevertheless, if you play *poker* one day you will certainly think of strategies, intuitions, game secrets, and… You know, all the strange things somebody *does* and somebody…
- PDF Analyzer - an all-seeing PDF analysis tool that is a breeze to use — Users who work with large collections of PDF files on a regular basis — publishers, editors, technical writers, webmasters — often need to obtain detailed information about the files they deal with. Apparently, large PDF editing applications can be used for this purpose, but it’s not comfortable at all. If you would like to be able to quickly extract the necessary…
| | Find all smart reviews similar on Wasp Static Error Checker 3.1 |
|
