 |
|
|
|
Wasp Static Error Checker 3.2 Download Now |
Thank you for downloading Downloading Wasp Static Error Checker 3.2
Please 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.
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.
BadBlue Excel Web Spreadsheet Collaboration Server 2.71
Share Excel files, photos, music, videos, and business documents securely. BadBlue is one of the easiest web servers ever created. You can get started in seconds and it is much easier to use than an FTP server or Apache. Get BadBlue today!
Globe7 2.0.0.0
Globe7 is a free downloadable soft phone which enables you to make calls from pc to pc, pc to mobile and pc to landline. Globe7 offers you a free phone number to make free pc to pc calls and receive unlimited free incoming calls from any phone.
ASP.NET Chat Pro 3.3
Full featured, customizable, fast ASP.NET chat with no page refreshes. Private and moderated rooms. Private messages. Ignore, Kick, Ban from room or site. Abusive words, flooding control. Hyperlink aware. Support Helpdesk or Chat skins. Multilanguage
eBay Auto Bidder 3.1
* Over 5,000 satisfied users have purchased Snipe
* Snipe is Secure - you do not release your username/password to a third party
* Regular, free upgrades
* Unlimited automated auction bidding
Internet Access Monitor for MS ISA Server 3.2
Internet Access Monitor for ISA Server is a software for monitoring the efficiency of your company Internet bandwidth usage. Using this product you can easily find out who, when, where to, where from and what accessed the Internet.
Shareaza 2.2.1.0
Shareaza is a spyware free P2P file-sharing client that connects to four modern networks: G2, Gnutella, eDonkey2000, and BitTorrent. Shareaza has a customizable interface, advanced search, corrupt file detection, user ratings, media player, and more.
Free Area Code Selector 1.0
International Area Codes, A collection of all international area codes in the world. Free Download.
The program is quite simple so even if you are a beginner you can use it without any trouble.
Magic Translator 6.00
Magic Translator can translate word, sentence, passage and Webpages, Websites among 11 languages: English, French, German, Spanish, Italian, Portuguese, Dutch, Russian, Chinese, Korean, Japanese.
|
|
|
|
 |
|
|
