Många analystekniker har föreslagits för att avgöra när ett potentiellt nollvärde kan avrefereras. Men vi har observerat i praktiken att inte varje potentiell null dereference är en "bugg" som utvecklare vill fixa. I detta dokument diskuterar vi några av utmaningarna med att använda en null dereferens analys i praktiken, och skäl till varför utvecklare kanske inte anser det nödvändigt att ändra kod för att förhindra någonsin möjliga null dereferens. Vi återkommer tidigare arbete med XYLEM, en interprocedural null dereference analys för Java, och diskuterar utmaningen att jämföra resultaten av olika statiska analysverktyg. Vi rapporterar också experimentella resultat för XYLEM, Coverity Prevent, Fortify SCA, Eclipse och FindBugs, och observera att de olika verktygen kompromissar behovet av att flagga alla potentiella null dereferenser med behovet av att minimera antalet fall som är osannolika i praktiken. Vi avslutar med att diskutera om det skulle vara lämpligt att utvidga Java-systemet för att skilja mellan ogiltiga och icke-null-typer, och förbjuda okontrollerade avhänvisningar av ogiltiga typer.
Ayewah och Pugh REF diskuterade problemen med null deference varningar som är falska positiva.
Null dereference analysis in practice
{'venue': "PASTE '10", 'journal': None, 'mag_field_of_study': ['Computer Science']}