Wasp Static Error Checker Download
Wasp statically detects subtle run-time errors in a Java code:
null pointer exception, impermissible cast,
array index out of bounds, division by zero, etc.
Wasp detects the following weak points:
uninitialised variable,
unreachable branch in conditional or switch statement,
unreachable loop body or catch clause,
assignment of variable whose value is never used, etc.
Wasp produces detailed and precise method call graph.
Software download will automatically a
couple of seconds. If the download does not start click on the
download link:
Download
|
