 |
Wasp Static Error Checker
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.
static error checker java windows linux analyser wasp lint analyzer statically detects subtle run-time errors weak points java source code |
