Download Wasp Static Error Checker 3.2
If your download does not start automatically
within 5 seconds, choose a mirror below:
Wasp Static Error Checker 3.2 Mirror 1
Wasp Static Error Checker 3.2 Mirror 2
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.
|
Category Related Download
Mobile Phone Tools v3 3.0
Connect your laptop to your cell phone, use your cell phone as a modem; synchronize cell phone contacts and calendar with your PC. Complete Outlook integration. Create mobile media with ringtone software features, wallpaper and video editing tools.
FreeWebStream 1.133
FREEWEBSTREAM is a new award winning software application (Freeware) for Windows, Now you can watch hundreds of LIVE worldwide TV and Radio stations on your PC, free of charge!
Wi-Fi WEP Key Generator 2.2
The Wi-Fi WEP Key Generator Utility allows you to create WEP keys that work between manufacturers. Now you can use D-Link with Linksys with Netgear with Belkin with SMC, etc. and easily maintain your wireless networking security settings.
Send-Safe Proxy Scanner 1.7.6
Send-Safe Proxy Scanner is a program designed for searching for HTTPS/SOCKS proxies. Proxylists to check and proxylists used for anonymous scanning/checking can be placed on a web or ftp server.
BuddyCheck 1.0.0
BuddyCheck will show you the real online status of your Yahoo! Messenger friends. It will regularly check to see if they are online, even if they are invisible or are using Stealth Mode.
Send To Phone 2.1
Send polyphonic ringtones, images, and other files to your mobile phone without any cables and adapters! With "Send to Phone", you can transfer files with a few mouse clicks.
Rooster 0.95
Rooster is a fully automated, absolutely free Adult Entertainment Search-and-Browse Tool designed to surf the web and look for adult oriented pictures and movies. Rooster will find you thousands of porn images and movies within minutes!
WinWAP for Windows Mobile 2003 1.3
WinWAP for Windows let's you use WAP services on your Windows Mobile 2003 Pocket PC. The WAP browser is a full mobile Internet browser that allows you to use the mobile Internet services you would use on your phone's built-in browser.
DivX Player (with DivX Codec) for 2K/XP 5.2.1
The DivX codec is a high-performance video plug-in for creating and viewing DVD-quality DivX movies and videos. Including the DivX Player, the DivX codec supports playback of all DivX content and the creation of videos with 3rd party software.
SecureCRT 6.5
SecureCRT is a rock-solid terminal emulator with the strong encryption and authentication options of the Secure Shell protocol. SecureCRT has advanced session management features, a multi-session tabbed interface, scripting, and numerous emulations.
|
|