.. _releaseProcessGovWay_staticCodeAnalysis_spotbugs_eclipse:

SpotBugs Eclipse Plugin
~~~~~~~~~~~~~~~~~~~~~~~~

In questa sezione viene descritto come utilizzare il `plugin per Eclipse <https://spotbugs.readthedocs.io/en/latest/eclipse.html>`_ per la verifica del codice sorgente.

Come prerequisito il plugin deve essere stato installato tramite 'Eclipse Marketplace' come mostrato nella figura :numref:`SpotBugs_eclipse_markeplace`.

.. figure:: ../../_figure_console/SpotBugs_eclipse_markeplace.png
  :scale: 80%
  :name: SpotBugs_eclipse_markeplace

  SpotBugs Eclipse Plugin: marketplace

Impostare i seguenti criteri di analisi statica accedendo alla sezione "Window -> Preferences -> Java -> SpotBugs", come mostrato nella figura :numref:`SpotBugs_eclipse_config`:

- un livello 'Maximal' per il parametro 'Analysis Effort';

- un livello 'Low' per il parametro 'Minimum confidence to report';

- un 'rank' impostato al valore '15'.

.. figure:: ../../_figure_console/SpotBugs_eclipse_config.png
  :scale: 80%
  :name: SpotBugs_eclipse_config

  SpotBugs Eclipse Plugin: configurazione

Deve inoltre essere caricato il filtro che esclude alcuni `falsi positivi <https://github.com/link-it/govway/blob/3.4.x/tools/spotbugs/filters/falsePositive.xml>`_ come mostrato nella figura :numref:`SpotBugs_eclipse_config_falsePositive`.

.. figure:: ../../_figure_console/SpotBugs_eclipse_config_falsePositive.png
  :scale: 80%
  :name: SpotBugs_eclipse_config_falsePositive

  SpotBugs Eclipse Plugin: filtro

L'analisi statica dei sorgenti è adesso effettuabile selezionando il progetto 'op2_3.x.dev' (:ref:`releaseProcessGovWay_staticCodeAnalysis_src_eclipse`) con il tasto destro e cliccando sulla voce 'SpotBugs -> Find Bugs' come mostrato nella figura :numref:`SpotBugs_eclipse_find`.

.. figure:: ../../_figure_console/SpotBugs_eclipse_find.png
  :scale: 80%
  :name: SpotBugs_eclipse_find

  SpotBugs Eclipse Plugin: find bugs

Eventuali bug individuati vengono evidenziati sulla singola classe come ad esempio viene mostrato nella figura :numref:`SpotBugs_eclipse_bug`.

.. figure:: ../../_figure_console/SpotBugs_eclipse_bug.png
  :scale: 40%
  :name: SpotBugs_eclipse_bug

  SpotBugs Eclipse Plugin: esempio di bug