cómo solucionar el problema Findbugs "valor nulo se garantiza que sea dereferenced" NP_GUARANTEED_DEREF

Question

Hola He conseguido algo de código que se reporta como teniendo el problema NP_GUARANTEED_DEREF por Findbugs. Ahora, al mirar mi código, no entiendo muy bien qué tiene de malo, ¿alguien puede sugerir cuál es el problema?

public void test() { 
    String var = ""; 
    int index = 2; 
    if (index == -1) { 
    var = String.class.getName(); 
    if (var.length() == 0) { 
     var = null; 
    } 
    } else { 
    var = Integer.class.getName(); 
    if (var.length() == 0) { 
     var = null; 
    } 
    } 
    if (var == null) {// FINBUGS reports on this line NP_GUARANTEED_DEREF 
    /* 
    * There is a statement or branch that if executed guarantees that a value 
    * is null at this point, and that value that is guaranteed to be 
    * dereferenced (except on forward paths involving runtime exceptions). 
    */ 
    throw new NullPointerException("NULL"); 
    } 
} 

Ahora perforación en el error en Findbugs se destacan las dos asignaciones a var = null; como causa del fallo, pero no acabo de entender por qué. No es que realmente esté haciendo algo con el objeto var. Solo estoy haciendo una comprobación nula. El ejemplo se toma del código de producción real, pero se despoja de todo lo que no era necesario para reproducir el error. Lo que me pregunto si esto es un falso positivo o no. Y si no, ¿cuál sería una solución adecuada?

Aquí está el enlace a la Bug Detalle Findbugs: http://findbugs.sourceforge.net/bugDescriptions.html#NP_GUARANTEED_DEREF

[ACTUALIZACIÓN] Después está recibiendo algunos comentarios sobre este tema ahora he conectado esto como un falso positivo en el Findbugs Bugtracker en Sourceforge el enlace es https://sourceforge.net/tracker/?func=detail&aid=3277814&group_id=96405&atid=614693

La conversación sobre el problema continuará allí.

Answer 1

veo. Puedo confirmar el mismo comportamiento de FB en mi computadora. Parece extraño de verdad. Lo curioso es que si reemplazaba throw new NullPointerException por throw new RuntimeException, el marcador de error desaparecería.

Ahora creo que entiendo lo que han querido decir. La redacción del mensaje no es exacta, pero te advierten contra un NPE. Supongo que consideran explotar explícitamente a NPE como una mala práctica.

Answer 2

Mirando más de cerca en la definición del mensaje de error here, que dice:

Hay una afirmación o una rama que si garantías ejecutadas que un valor es nula en este punto, y que el valor que se garantiza que sea dereferenced (excepto los caminos a seguir que implican excepciones de tiempo de ejecución)

que me hace pensar que es o bien simplemente dejar que kN ow var va a ser nulo o algo realmente está haciendo que findbugs piense que se hace referencia a var dentro de la sentencia if.

El código que publicó se ve bien, verificaría que no se acceda a var en el código verdadero.

La única cosa que podría cambiar es escribir la comparación hacia atrás, así:

if (null == var) 

De esa manera es obvio si dejar de lado uno de los = 's/

Answer 3

Es un error en FindBugs, publique este problema en su página de seguimiento de problemas. findbugs.sf.net

Answer 4

OK, lo FindBugs está buscando es una declaración o una rama que está garantizado para dar lugar a una excepción de puntero nulo. Originalmente, solo buscamos desreferencias de valores nulos.Más tarde aumentó el análisis para tratar

if (x == null) throw new NullPointerException()

lo mismo que un desreferenciar explícito de x. Esto fue principalmente para ayudar al análisis interprocedural, por lo que los métodos que tenían comprobaciones nulas explícitas para sus parámetros se tratarían de la misma manera que los métodos que desreferencian sus parámetros sin verificaciones nulas explícitas e informan errores cuando se pasan valores nulos para dichos parámetros.

Por lo tanto, parte del texto en nuestros mensajes de error podría necesitar ser actualizado, pero realmente no hemos encontrado muchos casos realistas donde haya confusión.

No estoy seguro de cuál es el propósito del código anterior. En los puntos donde está asignando null a var, está creando una situación que conducirá a un lanzamiento explícito de una excepción de puntero nulo más abajo. ¿Ese es realmente el comportamiento que quieres?