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

../../_images/SpotBugs_eclipse_markeplace.png

Fig. 795 SpotBugs Eclipse Plugin: marketplace

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

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

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

../../_images/SpotBugs_eclipse_config_falsePositive.png

Fig. 797 SpotBugs Eclipse Plugin: filtro

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

../../_images/SpotBugs_eclipse_find.png

Fig. 798 SpotBugs Eclipse Plugin: find bugs

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

../../_images/SpotBugs_eclipse_bug.png

Fig. 799 SpotBugs Eclipse Plugin: esempio di bug