Employ powerful static analysis on your JAVA source code. Find unused code, switch blocks without default case, etc. JiveLint is a tool employing powerful static analysis on your JAVA source code. For example, JiveLint will find unused code and variables, switch blocks without a default case, if a class overrides Object.equals() but not Object.hashCode(), if code use == to compare Strings instead of equals().
jivelint,
java,
lint,
static,
analysis,
source,
check,
test,
error,
code,
|
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. 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,
|
|
|
