SpotBugs Eclipse Plugin

In questa sezione viene descritto come utilizzare il plugin per Eclipse per la verifica del codice sorgente.

Come prerequisito il plugin deve essere stato installato tramite “Eclipse Marketplace” come mostrato nella figura Fig. 1006.

../../../_images/SpotBugs_eclipse_markeplace.png

Fig. 1006 SpotBugs Eclipse Plugin: marketplace

Impostare i seguenti criteri di analisi statica accedendo alla sezione «Window -> Preferences -> Java -> SpotBugs», come mostrato nella figura Fig. 1007:

  • un livello “Maximal” per il parametro “Analysis Effort”;

  • un livello “Low” per il parametro “Minimum confidence to report”;

  • un “rank” impostato al valore “15”.

../../../_images/SpotBugs_eclipse_config.png

Fig. 1007 SpotBugs Eclipse Plugin: configurazione

Deve inoltre essere caricato il filtro che esclude alcuni falsi positivi come mostrato nella figura Fig. 1008.

../../../_images/SpotBugs_eclipse_config_falsePositive.png

Fig. 1008 SpotBugs Eclipse Plugin: filtro

L’analisi statica dei sorgenti è adesso effettuabile selezionando il progetto “op2_3.x.dev” (Eclipse Project) con il tasto destro e cliccando sulla voce “SpotBugs -> Find Bugs” come mostrato nella figura Fig. 1009.

../../../_images/SpotBugs_eclipse_find.png

Fig. 1009 SpotBugs Eclipse Plugin: find bugs

Eventuali bug individuati vengono evidenziati sulla singola classe come ad esempio viene mostrato nella figura Fig. 1010.

../../../_images/SpotBugs_eclipse_bug.png

Fig. 1010 SpotBugs Eclipse Plugin: esempio di bug