|
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.
|
Categories
New Listing
AcademSoft
