Awards
iLibs
Award: awardawardawardawardaward
Manage multiple iTunes libraries


ILEADS
Award: awardawardaward
Generate your own Exclusive Live Sales Leads


Ikebana Roulette
Award: awardawardaward
A beautiful girl invites you to win money!


IIS Accelerator
Award: awardawardawardawardaward
ISAPI filter for high speed HTTP Compression


IIAddIn1
Award: awardawardaward
Add-In for Microsoft Developer Studio




Recent reviews
Brickanoid
Rating: ratingratingratingratingrating
good


JetsnGuns
Rating: ratingratingratingratingrating
is the best game what i
see in my life


SkyFex Remote Assistant
Rating: ratingratingratingratingrating
Awesome!


FlexiMusic Kids Composer
Rating: ratingratingratingratingrating
Have a fun learning
experience with music. It
is a tool that makes
music easily. Childrens
and young ones can
compose a song
automatically. A place
for kids to compose
music, play with musical
instruments etc.... Paint
brush helps us to paint
them on the track. It is
fun and my kids love it.


Cyber Internet Cafe Software - Internet
Rating: ratingratingratingratingrating
gostei muito deste
programa de internet
café


Wasp Static Error Checker 3.1

Wasp Static Error CheckerIf 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 errorin 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 produceonly 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 evenafter debugging and testing stages of development because Waspdetects situations of real complexity.

award



Shareware Size: 1.22 MBPrice: $299.00BuyDownload




Downloads:25
Released:2002-04-03
Language:English
Platform:Win95, Win98, WinNT 4.x, Windows2000, Linux
Requirements:64Mb RAM, 40-300Mb HD



Review Wasp Static Error Checker


code