JiveLint es una herramienta para implementar un poderoso análisis estático en su código fuente JAVA. Por ejemplo, JiveLint encontrará código sin utilizar, bloques switch sin default case (opción por defecto), si una clase sobrepasa Object.equals() pero no a Object.hashCode(), si se utiliza en el código == para comparar strings (cadenas de caracteres) en vez de equals().
Wasp detecta estáticamente sutiles errores de tiempo de ejecución en código Java: excepción de puntero nulo, cast impermisible, índice del array fuera de los límites, división por cero, etc.
Wasp detecta los siguientes puntos débiles: variable sin inicializar, rama inalcanzable en una condicional o conmutación, cuerpo de repetición o cláusula catch inalcanzable, asignación de una variable cuyo valor no ha sido usado nunca, etc.
Wasp además produce detallados y precisos gráficos de llamada.
