Statiska analysverktyg för upptäckt av programvarudefekter används i stor utsträckning i praktiken. Det finns dock få offentliga uppgifter om den experimentella utvärderingen av riktigheten och värdet av de varningar som dessa verktyg rapporterar. I den här artikeln diskuterar vi de varningar som hittas av FindBugs, ett statiskt analysverktyg som hittar defekter i Javaprogram. Vi diskuterar vilka typer av varningar som genereras och klassificeringen av varningar i falska positiva, triviala fel och allvarliga fel. Vi ger också viss insikt i varför statiska analysverktyg ofta upptäcker sanna men triviala buggar, och viss information om felvarningar under hela programvaruutgåvans utvecklingstid. Vi rapporterar data om felvarningarna i Suns Java 6 JRE, i Suns Glassfish JEE-server och i delar av Googles Java-kodbas. Slutligen rapporterar vi om några erfarenheter av att integrera statisk analys i programvaruutvecklingsprocessen på Google.
Aywah och Al. REF utvärdera noggrannheten och värdet av FindBugs resultat och diskutera men inte lösa problemet med korrekt filtrering falska positiva.
Evaluating static analysis defect warnings on production software
{'venue': "PASTE '07", 'journal': None, 'mag_field_of_study': ['Computer Science']}