Recomended Soft

File Audio Processor
Complete solution for Multimedia Editing - Management: File Manager, File Renamer, ID3 Tag Manager. Audio Converter & Editor, Visual Audio Editor, CD Audio Grabber, CD-DVD Writer, Multimedia Player, Audio Recorder, Playlist Manager, Media Library...


AV Music Morpher Gold
Advanced MP3 music editor includes MP3 player, sound recorder, voice changer, tempo and beat morpher, effect mixer, voice remover, voice extractor, audio wave editor for remix and medley, MP3 converter, CD ripper, CD-DVD burner, CD-DVD cover creator


Software Midi Keyboard
Midi piano with drum machine for Windows. Recording music in the external midi sequencer you can to hear her in your desktop speakers. Program can play sounds on two midi device, simultaneously. Intellectual polyphony makes incredible natural sound!


Lyrics4You
Lyrics4You form Audio4You Software plays and displays perfectly synchronized karaoke lyrics with popular audio file MP3, MIDI, KAR. Easy way to record and play back your voice over the song and mix into one MP3 file with audio effects.


Virtual Music Jukebox
Virtual Music Jukebox is known as the industry standard when it comes to a true Jukebox experience. VMJ is designed to give the true look and feel of a modern, bar style jukebox right on your desktop.


WMA Encoder - Decoder
With the help of WMA Encoder Decoder, converting WAV PCM, MP3, Ogg Vorbis and AC3 files to WMA and decoding WMA to WAV PCM format becomes as easy as 1-2-3. Features intuitive multilingual interface as well as Audio CD ripping directly to WMA format.


Jessica Simpson Screensaver
Free Jessica Simpson Screensaver



Download Wasp Static Error Checker 3.1
Downloading Wasp Static Error Checker
Contacting third-party download site... please wait.
If your download does not start automatically within 5 seconds, choose a mirror below:



Primary Download Mirror 1
Secondary Download Mirror 2

File size 1.22 MB


Wasp Static Error Checker Description:

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:

Wasp Static Error Checker

Search Soft

All Rights Reserved © 2007 SoftsLand.com