 |
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.
static error checker java windows linux analyser wasp lint analyzer statically
|
 |
JiveLint is a tool employing powerful static analysis on your JAVA source code. For example, JiveLint will find unused code and variables, switch blocks without a default case, if a class overrides Object.equals() but not Object.hashCode(), if code use == to compare Strings instead of equals().
jivelint java lint static analysis source check test error code rules
|
 |
MS Access 2000 Password Recoverer will display the password to a MS Access database (*.mdb). This program works for MS Access files saved in MS Access 2000.
password recovery aim aol yahoo xp decrypt decode lost forgotten default instantly website outlook
|
 |
Stars 3 Screensaver 2.0 is attractive and helpful screen protection software. Perhaps more important, it is beautiful and entertaining. You will be able to configure it many ways to provide you many hours of enjoyment. As with other screen savers, when your computer is idle for some time Stars 3 Screensaver v. 2.0 will show an animation. This will be a simulation of flight through space, filled with stars and gas clouds.
stars screensaver features flight windows clouds frames randomly image brightness download sound only speed
|
 |
The Elefun Company has released A.M.L. - a Advanced Multimedia Library. This Multimedia Library is intended for games' and multimedia applications' developers. A.M.L. is an effective multimedia library, capable of playing practically all audio formats, midi files and most of known video formats. At the same time multimedia library size is very small - it amounts to 150 KB only.
media soumd music development library advansed formats api tracking mod it xm s3m stm
|
 |
ZoomAView is a powerful, easy to use computer screen magnifier. Featuring zoom levels up to 32x within a fully moveable and sizeable lens window, ZoomAView helps you see web pages, e-mail, pictures, and more without having to strain your eyes. Choose to have the lens show what's under your mouse, or use "locked" mode to keep the magnified area in place. ZoomAView lets you pick from 3 pointer styles, and can reverse colors within the lens view.
lens magnify desktop visual impair zoom large size zoomaview powerful easy computer desktop screen
|
 |
WorldCalc is a calculator and currency converter with daily exchange rate updates provided by Cloanto, a leader in currency software and services. Features include support for past and future euro currencies, a spreadsheet interface and translucent skins. The unregistered version displays an advertising banner. The registered version can use more than 100 different skins.
currency calculator currency converter skins skin translucent translucency transparent transparency calculator spreadsheet excel euro dollar yen
|
 |
Keno Way Master is a multi part program that can calculate a Keno ticket just like in Vegas. You can play way tickets, way combo tickets, and straight up tickets. With a customizable payout schedule, you can know exactly how much you win on a ticket and also practice your combos against our advanced simulation engine.
keno gambling casino way ticket combo combinations play keno way tickets way combo tickets
|
 |
Free Video Ads Blocker increases browsing speeds by up to 300 percent. It reduces the amount of incoming traffic and a web page loading time by blocking the most annoying Internet ads. VAB can block advertisement in the forms of: Inline videos, Background sounds, JAVA Applets, Animated gif files, Macromedia Flash movies.
video pop up killer video popup stopper video pop-up stoper video popup block stop video popup video pop up block stop flash flash animation stopper block flash no flash full-screen with video ads the video commercial interactive video ad free
|
|
|
