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

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

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

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

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

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

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

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