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.
