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. 1113.

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

Fig. 1113 SpotBugs Eclipse Plugin: marketplace

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

  • 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. 1114 SpotBugs Eclipse Plugin: configurazione

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

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

Fig. 1115 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. 1116.

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

Fig. 1116 SpotBugs Eclipse Plugin: find bugs

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

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

Fig. 1117 SpotBugs Eclipse Plugin: esempio di bug