|
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…
- 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…
- 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…
- Axigen v6 - a 1-2-3 approach to setting up a fully-functional mail server on Linux — For the majority of users, the task of installing a mail server on Linux is something beyond possible. Despite its active popularization, Linux still remains a system for enthusiasts where nearly every serious system-related action is carried out in the console and where deep knowledge of system commands is an absolute must. In most cases, Linux servers inevitably require…
- MobileGov Device Checker - enhanced security and full control over devices connected to your PC — Today, when information is valued incomparably higher than any equipment it is stored on, data theft or corruption may lead to devastating results. Modern mobile platforms exchange data through a number of conventional and wireless interfaces, which increases the chances of your information being stolen if your networks and connections have not been properly configured. Finally, if you ever…
- Analyzer Plus — Maintaining time sheets is now a common practice; however, the benefit fromusing them isn’t as great as was expected. The lack of time for analyzingthe data depreciates the whole idea of optimizing productivity with timesheets. That, in its turn, converts into insufficient data for invoicingserved customers, inability to see the overall and by-stage cost of theproduction. Besides, employees…
- PC Repair Doctor - a universal remedy against computer slowdowns, low performance and system errors — No matter how well-designed an operating system is, its performance deteriorates with time. This is caused by a number of reasons. Applications that you install and uninstall add their keys to the system registry and modify automatic startup files, reconfigure certain system parameters and leave files that clog your hard drive. As time goes by, this array of unnecessary elements begins…
- Turning the Face to the User. DJ Java Decompiler — Don’t be disappointed when instead a mono-color alphanumeric screen with a lot of mysterious characters, which make sense only to those “chosen” ones called “hackers” or “coders”, and control commands hidden behind the never-would-guess keyboard shortcuts you will see a feature-rich GUI-based editor with colored source code of your application loaded…
| | Find all smart reviews similar on Wasp Static Error Checker 3.1 |
|
