itlocation.com

English | German

itlocation.com

HomeSoftwareCompaniesJobsCommunityMembers  
 

Wasp Static Error Checker 3.2

The Wasp tool statically detects subtle run-time errors and weak points in a Java source code. Wasp also produces detailed and precise method call graph.

Add this page to your favorites

  Detail  

  Images  

  Download  

  Reviews  

    


Software Details:

Date:

4/19/2003

License:

Free to try

Price:

USD 299.00

Size:

0.96 MB

Downloads:

23


Detects subtle run-time errors in a Java code

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.

Related Software:

JNIWrapper
Bridge Java and native code without using JNI

CryptoTools
Encryption for all major languages

AdminPro
Point-and-click CGI debugging and remote file admin tool in your web browser

FastSum Standard Edition
Check the integrity and track changes within your important files

jxProject
Free Project Management Software - Windows/Linux/Mac, resource leveling

Hetman
Hetman is a cross -platform file manager.

Keywarden
Protect your private data (e.g. passwords, PINs etc.) and keep it arranged.

USB Monitor Device Monitoring Studio
Software USB port sniffer, monitor tool with protocol analyzer and data logger

EasySec Firewall SDK
A high performance packet filtering engine for developing firewall

GWD Text Editor
Powerful programmer`s editor and IDE for Borland C and Java

Software Categories:

Development : Others Development

Supported Languages:

English

Operating Systems:

Windows 95, Windows 98, Windows NT 4.x, Windows 2000, Windows XP, Linux

System Requirements:

64Mb RAM, 40-300Mb HD

Special Limitations:

-

Screenshot:


screenshot


Company:

AcademSoft
ave. Lavrenteva, 6a
630090 Novosibirsk
Russia