983.04 KB Safe To Install
Advertising











Specifications
License:
Shareware
Updated:
Downloads:
1248
Platform:
Win95,Win98,WinNT 4.x,WinXP,Windows2000,Linux
Publisher:
AcademSoft(more)
Website:
User Reviews:
Other versions:
3.2
Do you like
Wasp Static Error Checker?
Publisher's Descriptions
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.
System Requirements
64Mb RAM, 40-300Mb HD
What's New
Wasp 3.2 Java can analyse servlet http programs; assert statements of Java 1.4 are permitted


Do you like Wasp Static Error Checker

Wasp Static Error Checker Disclamer
Please be aware FindMySoft.com accepts no responsibility for the file you are downloading. The same applies to the information provided about the software products listed.
We do not allow the inclusion of any Wasp Static Error Checker serial, keygen or crack and we disclaim any liability for the inappropriate use of Wasp Static Error Checker.
FindMySoft advises that Wasp Static Error Checker should be only used in accordance with the rules of intellectual property and the existing Criminal Code.
For your own protection ALWAYS check downloaded files for viruses.
Advertising
Popular News
The soon to be released Samsung Galaxy S3 is shaping up to be an event bigger commercial success than its predecessor, the Samsung Galaxy S2
Linux fans once again have the chance to take part in the annual Linux Foundation T-Shirt Design Contest, now in its 3rd edition
Your Rating
2.6
out
of
5
Rated By
7 Users
Wasp Static Error Checker Screenshot
Top Downloads
Become A Fan!
Link To Us!
Wasp Static Error Checker
HTML Linking Code
Latest Reviews