<?xml version="1.0" encoding="ISO-8859-1" standalone="no"?>
<!DOCTYPE book PUBLIC "-//OASIS//DTD DocBook XML V4.2//EN"
"file:../etc/docbook/docbookx.dtd" [
<!ENTITY FindBugs "<application>FindBugs</application>">
<!ENTITY Ant "<application>Ant</application>">
<!ENTITY Saxon "<application>Saxon</application>">
<!ENTITY FBHome "<replaceable>$FINDBUGS_HOME</replaceable>">
<!ENTITY nbsp " ">
]>
<book lang="en" id="findbugs-manual">
<bookinfo>
<title>&FindBugs;™ Manual</title>
<authorgroup>
<author>
<firstname>David</firstname>
<othername>H.</othername>
<surname>Hovemeyer</surname>
</author>
<author>
<firstname>William</firstname>
<othername>W.</othername>
<surname>Pugh</surname>
</author>
</authorgroup>
<copyright>
<year>2003</year>
<year>2004</year>
<year>2005</year>
<year>2006</year>
<holder>University of Maryland</holder>
</copyright>
<legalnotice>
<para>
This manual is licensed under the Creative Commons Attribution-NonCommercial-ShareAlike License.
To view a copy of this license, visit
<ulink url="http://creativecommons.org/licenses/by-nc-sa/1.0/">http://creativecommons.org/licenses/by-nc-sa/1.0/</ulink>
or send a letter to Creative Commons, 559 Nathan Abbott Way, Stanford, California 94305, USA.
</para>
<para>
The name FindBugs and the FindBugs logo is trademarked by the University of Maryland.
</para>
</legalnotice>
<edition>1.2.1</edition>
<pubdate>10:24:29 EDT, 31 May, 2007</pubdate>
</bookinfo>
<!--
**************************************************************************
Introduction
**************************************************************************
-->
<chapter id="introduction">
<title>Introduction</title>
<para> &FindBugs;™ is a program to find bugs in Java programs. It looks for instances
of "bug patterns" --- code instances that are likely to be errors.</para>
<para> This document describes version 1.2.1 of &FindBugs;. This is an
early release of the tool, so you may find problems with it. We
are very interested in getting your feedback on &FindBugs;. Please visit
the <ulink url="http://findbugs.sourceforge.net">&FindBugs; web page</ulink> for
the latest information on &FindBugs;, contact information, and support resources such
as information about the &FindBugs; mailing lists.</para>
<sect1>
<title>Requirements</title>
<para> To use &FindBugs;, you need a runtime environment compatible with
<ulink url="http://java.sun.com/j2se">Java 2 Standard Edition</ulink>, version 1.4.0 or later.
&FindBugs; is platform independent, and is known to run on GNU/Linux, Windows, and
MacOS X platforms.</para>
<para>You should have at least 512 MB of memory to use &FindBugs;.
To analyze very large projects, more memory may be needed.</para>
</sect1>
</chapter>
<!--
**************************************************************************
Installing FindBugs
**************************************************************************
-->
<chapter id="installing">
<title>Installing and Running &FindBugs;™</title>
<para>
This chapter explains how to install and run &FindBugs;.
</para>
<sect1>
<title>Extracting the Distribution</title>
<para>
The easiest way to install &FindBugs; is to download a binary distribution.
Binary distributions are available in
<ulink url="http://prdownloads.sourceforge.net/findbugs/findbugs-1.2.1.tar.gz?download">gzipped tar format</ulink> and
<ulink url="http://prdownloads.sourceforge.net/findbugs/findbugs-1.2.1.zip?download">zip format</ulink>.
Once you have downloaded a binary distribution, extract it into a directory of your choice.
</para>
<para>
Extracting a gzipped tar format distribution:
<screen>
<prompt>$ </prompt><command>gunzip -c findbugs-1.2.1.tar.gz | tar xvf -</command>
</screen>
</para>
<para>
Extracting a zip format distribution:
<screen>
<prompt>C:\Software></prompt><command>unzip findbugs-1.2.1.zip</command>
</screen>
</para>
<para>
Usually, extracting a binary distribution will create a directory ending in
<filename class="directory">findbugs-1.2.1</filename>. For example, if you extracted
the binary distribution from the <filename class="directory">C:\Software</filename>
directory, then the &FindBugs; software will be extracted into the directory
<filename class="directory">C:\Software\findbugs-1.2.1</filename>.
This directory is the &FindBugs; home directory. We'll refer to it as
&FBHome; throughout this manual.
</para>
</sect1>
<sect1>
<title>Configuration</title>
<para>
Once you have extracted the binary distribution, all you need to do in order
to run &FindBugs; is to invoke the wrapper script.
</para>
<para>
On Unix-like systems, use the following command to invoke the wrapper script:
<screen>
<prompt>$ </prompt><command>&FBHome;/bin/findbugs <replaceable>options...</replaceable></command>
</screen>
</para>
<para>
On Windows systems, the command to invoke the wrapper script is
<screen>
<prompt>C:\My Directory></prompt><command>&FBHome;\bin\findbugs.bat <replaceable>options...</replaceable></command>
</screen>
</para>
<para>
On both Unix-like and Windows systems, you can simply add the <filename><replaceable>$FINDBUGS_HOME</replaceable>/bin</filename>
directory to your <filename>PATH</filename> environment variable and then invoke
FindBugs using the <command>findbugs</command> command.
</para>
</sect1>
<sect1 id="commandLineOptions">
<title>Command Line Options</title>
<para>
There are two ways to invoke &FindBugs;. The first invokes the the Graphical User Interface (GUI):
<screen>
<prompt>$ </prompt><command>findbugs <replaceable>[standard options]</replaceable> <replaceable>[GUI options]</replaceable></command>
</screen>
The second invokes the Command Line Interface (Text UI):
<screen>
<prompt>$ </prompt><command>findbugs -textui <replaceable>[standard options]</replaceable> <replaceable>[Text UI options]</replaceable></command>
</screen>
</para>
<sect2>
<title>Standard options</title>
<para>
These options may be used with both the GUI and Text UI.
<variablelist>
<varlistentry>
<term><command>-jvmArgs <replaceable>args</replaceable></command></term>
<listitem>
<para>
Specifies arguments to pass to the JVM. For example, you might want
to set a JVM property:
<screen>
<prompt>$ </prompt><command>findbugs -textui -jvmArgs "-Duser.language=ja" <replaceable>myApp.jar</replaceable></command>
</screen>
</para>
</listitem>
</varlistentry>
<varlistentry>
<term><command>-javahome <replaceable>directory</replaceable></command></term>
<listitem>
<para>
Specifies the directory containing the JRE (Java Runtime Environment) to
use to execute &FindBugs;.
</para>
</listitem>
</varlistentry>
<varlistentry>
<term><command>-maxHeap <replaceable>size</replaceable></command></term>
<listitem>
<para>
Specifies the maximum Java heap size in megabytes. The default is 256.
More memory may be required to analyze very large programs or libraries.
</para>
</listitem>
</varlistentry>
<varlistentry>
<term><command>-debug</command></term>
<listitem>
<para>
Prints a trace of detectors run and classes analyzed to standard output.
Useful for troubleshooting unexpected analysis failures.
</para>
</listitem>
</varlistentry>
<!--
<varlistentry>
<term><command>-conserveSpace</command></term>
<listitem>
<para>
This option disables analyses that increase precision but also
increase memory consumption. You may want to try this option if
you find that &FindBugs; runs out of memory, or takes an unusually
long time to complete its analysis.
</para>
</listitem>
</varlistentry>
-->
<varlistentry>
<term><command>-effort:min</command></term>
<listitem>
<para>
This option disables analyses that increase precision but also
increase memory consumption. You may want to try this option if
you find that &FindBugs; runs out of memory, or takes an unusually
long time to complete its analysis.
</para>
</listitem>
</varlistentry>
<varlistentry>
<term><command>-effort:max</command></term>
<listitem>
<para>
Enable analyses which increase precision and find more bugs, but which
may require more memory and take more time to complete.
</para>
</listitem>
</varlistentry>
<varlistentry>
<term><command>-property</command> <replaceable>name=value</replaceable></term>
<listitem>
<para>
This option sets a system property. &FindBugs; uses system properties
to configure analysis options. See <xref linkend="analysisprops"/>.
You can use this option multiple times in order to set multiple properties.
Note: In most versions of Windows, the <replaceable>name=value</replaceable>
string must be in quotes.
</para>
</listitem>
</varlistentry>
<varlistentry>
<term><command>-project</command> <replaceable>project</replaceable></term>
<listitem>
<para>
Specify a project to be analyzed. The project file you specify should
be one that was created using the GUI interface. It will typically end
in the extension <filename>.fb</filename>.
</para>
</listitem>
</varlistentry>
</variablelist>
</para>
</sect2>
<sect2>
<title>GUI Options</title>
<para>
These options are only accepted by the Graphical User Interface.
<variablelist>
<varlistentry>
<term><command>-look:</command><replaceable>plastic|gtk|native</replaceable></term>
<listitem>
<para>
Set Swing look and feel.
</para>
</listitem>
</varlistentry>
</variablelist>
</para>
</sect2>
<sect2>
<title>Text UI Options</title>
<para>
These options are only accepted by the Text User Interface.
<variablelist>
<varlistentry>
<term><command>-sortByClass</command></term>
<listitem>
<para>
Sort reported bug instances by class name.
</para>
</listitem>
</varlistentry>
<varlistentry>
<term><command >-include</command> <replaceable>filterFile.xml</replaceable></term>
<listitem>
<para>
Only report bug instances that match the filter specified by <replaceable>filterFile.xml</replaceable>.
See <xref linkend="filter" />.
</para>
</listitem>
</varlistentry>
<varlistentry>
<term><command >-exclude</command> <replaceable>filterFile.xml</replaceable></term>
<listitem>
<para>
Report all bug instances except those matching the filter specified by <replaceable>filterFile.xml</replaceable>.
See <xref linkend="filter" />.
</para>
</listitem>
</varlistentry>
<varlistentry>
<term><command>-onlyAnalyze</command> <replaceable>com.foobar.MyClass,com.foobar.mypkg.*</replaceable></term>
<listitem>
<para>
Restrict analysis to find bugs to given comma-separated list of
classes and packages.
Unlike filtering, this option avoids running analysis on
classes and packages that are not explicitly matched:
for large projects, this may greatly reduce the amount of time
needed to run the analysis. (However, some detectors may produce
inaccurate results if they aren't run on the entire application.)
Classes should be specified using their full classnames (including
package), and packages should be specified in the same way
they would in a Java <literal>import</literal> statement to
import all classes in the package (i.e., add <literal>.*</literal>
to the full name of the package).
Replace <literal>.*</literal> with <literal>.-</literal> to also
analyze all subpackages.
</para>
</listitem>
</varlistentry>
<varlistentry>
<term><command>-low</command></term>
<listitem>
<para>
Report all bugs.
</para>
</listitem>
</varlistentry>
<varlistentry>
<term><command>-medium</command></term>
<listitem>
<para>
Report medium and high priority bugs. This is the default setting.
</para>
</listitem>
</varlistentry>
<varlistentry>
<term><command>-high</command></term>
<listitem>
<para>
Report only high priority bugs.
</para>
</listitem>
</varlistentry>
<varlistentry>
<term><command>-relaxed</command></term>
<listitem>
<para>
Relaxed reporting mode. For many detectors, this option
suppresses the heuristics used to avoid reporting false positives.
</para>
</listitem>
</varlistentry>
<varlistentry>
<term><command>-xml</command></term>
<listitem>
<para>
Produce the bug reports as XML. The XML data produced may be
viewed in the GUI at a later time. You may also specify this
option as <command>-xml:withMessages</command>; when this variant
of the option is used, the XML output will contain human-readable
messages describing the warnings contained in the file.
XML files generated this way are easy to transform into reports.
</para>
</listitem>
</varlistentry>
<varlistentry>
<term><command>-html</command></term>
<listitem>
<para>
Generate HTML output. By default, &FindBugs; will use the <filename>default.xsl</filename>
<ulink url="http://www.w3.org/TR/xslt">XSLT</ulink>
stylesheet to generate the HTML: you can find this file in <filename>findbugs.jar</filename>,
or in the &FindBugs; source or binary distributions. Variants of this option include
<command>-html:plain.xsl</command>, <command>-html:fancy.xsl</command> and <command>-html:fancy-hist.xsl</command>.
The <filename>plain.xsl</filename> stylesheet does not use Javascript or DOM,
and may work better with older web browsers, or for printing. The <filename>fancy.xsl</filename>
stylesheet uses DOM and Javascript for navigation and CSS for
visual presentation. The <command>fancy-hist.xsl</command> an evolution of <command>fancy.xsl</command> stylesheet.
It makes an extensive use of DOM and Javascript for dynamically filtering the lists of bugs.
</para>
<para>
If you want to specify your own
XSLT stylesheet to perform the transformation to HTML, specify the option as
<command>-html:<replaceable>myStylesheet.xsl</replaceable></command>,
where <replaceable>myStylesheet.xsl</replaceable> is the filename of the
stylesheet you want to use.
</para>
</listitem>
</varlistentry>
<varlistentry>
<term><command>-emacs</command></term>
<listitem>
<para>
Produce the bug reports in Emacs format.
</para>
</listitem>
</varlistentry>
<varlistentry>
<term><command>-xdocs</command></term>
<listitem>
<para>
Produce the bug reports in xdoc XML format for use with Apache Maven.
</para>
</listitem>
</varlistentry>
<varlistentry>
<term><command>-outputFile</command> <replaceable>filename</replaceable></term>
<listitem>
<para>
Produce the output in the specified file.
</para>
</listitem>
</varlistentry>
<varlistentry>
<term><command>-nested</command><replaceable>[:true|false]</replaceable></term>
<listitem>
<para>
This option enables or disables scanning of nested jar and zip files found in
the list of files and directories to be analyzed.
By default, scanning of nested jar/zip files is enabled.
To disable it, add <command>-nested:false</command> to the command line
arguments.
</para>
</listitem>
</varlistentry>
<varlistentry>
<term><command>-auxclasspath</command> <replaceable>classpath</replaceable></term>
<listitem>
<para>
Set the auxiliary classpath for analysis. This classpath should include all
jar files and directories containing classes that are part of the program
being analyzed but you do not want to have analyzed for bugs.
</para>
</listitem>
</varlistentry>
<!--
<varlistentry>
<term><command></command> <replaceable></replaceable></term>
<listitem>
<para>
</para>
</listitem>
</varlistentry>
-->
</variablelist>
</para>
</sect2>
</sect1>
</chapter>
<!--
**************************************************************************
Compiling FindBugs from Source
**************************************************************************
-->
<chapter id="building">
<title>Building &FindBugs;™ from Source</title>
<para>
This chapter describes how to build &FindBugs; from source code. Unless you are
interesting in modifying &FindBugs;, you will probably want to skip to the
<link linkend="gui">next chapter</link>.
</para>
<sect1>
<title>Prerequisites</title>
<para>
To compile &FindBugs; from source, you will need the following:
<itemizedlist>
<listitem>
<para>
The <ulink url="http://prdownloads.sourceforge.net/findbugs/findbugs-1.2.1-source.zip?download"
>&FindBugs; source distribution</ulink>
</para>
</listitem>
<listitem>
<para>
<ulink url="http://java.sun.com/j2se/">JDK 1.5.0 beta or later</ulink>
</para>
</listitem>
<listitem>
<para>
<ulink url="http://ant.apache.org/">Apache &Ant;</ulink>, version 1.5 or later
</para>
</listitem>
</itemizedlist>
</para>
<warning>
<para>
The version of &Ant; included as <filename>/usr/bin/ant</filename> on
Redhat Linux systems will <emphasis>not</emphasis> work for compiling
&FindBugs;. We recommend you install a binary distribution of &Ant;
downloaded from the <ulink url="http://ant.apache.org/">&Ant; website</ulink>.
Make sure that when you run &Ant; your <replaceable>JAVA_HOME</replaceable>
environment variable points to the directory in which you installed
JDK 1.5 (or later).
</para>
</warning>
<para>
If you want to be able to generate formatted versions of the &FindBugs; documentation,
you will also need the following software:
<itemizedlist>
<listitem>
<para>
The <ulink url="http://docbook.sourceforge.net/projects/xsl/index.html">DocBook XSL Stylesheets</ulink>.
These are required to convert the &FindBugs; manual into HTML and PDF formats.
</para>
</listitem>
<listitem>
<para>
The <ulink url="http://saxon.sourceforge.net/">&Saxon; XSLT Processor</ulink>.
The file <filename>saxon.jar</filename> should be in your <envar>CLASSPATH</envar>.
</para>
</listitem>
<!--
<listitem>
<para>
</para>
</listitem>
-->
</itemizedlist>
</para>
</sect1>
<sect1>
<title>Extracting the Source Distribution</title>
<para>
After you download the source distribution, you'll need to extract it into
a working directory. A typical command to do this is:
<screen>
<prompt>$ </prompt><command>unzip findbugs-1.2.1-source.zip</command>
</screen>
</para>
</sect1>
<sect1>
<title>Modifying <filename>build.properties</filename></title>
<para>
If you intend to build the FindBugs documentation,
you will need to modify the <filename>build.properties</filename> file
used by the <ulink url="http://ant.apache.org/">&Ant;</ulink>
<filename>build.xml</filename> file to build &FindBugs;.
If you do not want to build the FindBugs documentation, then you
can ignore this file.
</para>
<para>
The <filename>build.properties</filename> looks like this:
<programlisting>
<![CDATA[
# User Configuration:
# This section must be modified to reflect your system.
local.software.home =/export/home/daveho/linux
# Set this to the directory containing the DocBook Modular XSL Stylesheets
# from http://docbook.sourceforge.net/projects/xsl/
xsl.stylesheet.home =${local.software.home}/docbook/docbook-xsl-1.61.0
# Set this to the directory where Saxon (http://saxon.sourceforge.net/)
# is installed.
saxon.home =${local.software.home}/java/saxon-6.5.2
]]>
</programlisting>
</para>
<para>
The <varname>xsl.stylesheet.home</varname> property specifies the full
path to the directory where you have installed the
<ulink url="http://docbook.sourceforge.net/projects/xsl/">DocBook Modular XSL
Stylesheets</ulink>. You only need to specify this property if you will be
generating the &FindBugs; documentation.
</para>
<para>
The <varname>saxon.home</varname> property is the full path to the
directory where you installed the <ulink url="http://saxon.sourceforge.net/">&Saxon; XSLT Processor</ulink>.
You only need to specify this property if you will be
generating the &FindBugs; documentation.
</para>
</sect1>
<sect1>
<title>Running &Ant;</title>
<para>
Once you have extracted the source distribution,
made sure that &Ant; is installed,
modified <filename>build.properties</filename> (optional),
and configured the tools (such as &Saxon;),
you are ready to build &FindBugs;. Invoking &Ant; is a simple matter
of running the command
<screen>
<prompt>$ </prompt><command>ant <replaceable>target</replaceable></command>
</screen>
where <replaceable>target</replaceable> is one of the following:
<variablelist>
<varlistentry>
<term><command>build</command></term>
<listitem>
<para>
This target compiles the code for &FindBugs;. It is the default target.
</para>
</listitem>
</varlistentry>
<varlistentry>
<term><command>docs</command></term>
<listitem>
<para>
This target formats the documentation. (It also compiles some of
the source code as a side-effect.)
</para>
</listitem>
</varlistentry>
<varlistentry>
<term><command>runjunit</command></term>
<listitem>
<para>
This target compiles and runs the internal JUnit tests included
in &FindBugs;. It will print an error message if any unit
tests fail.
</para>
</listitem>
</varlistentry>
<varlistentry>
<term><command>bindist</command></term>
<listitem>
<para>
Builds a binary distribution of &FindBugs;.
The target creates both <filename>.zip</filename> and
<filename>.tar.gz</filename> archives.
</para>
</listitem>
</varlistentry>
</variablelist>
</para>
<para>
After running an &Ant; command, you should see output similar to
the following (after some other messages regarding the tasks that
&Ant; is running):
<screen>
<computeroutput>
BUILD SUCCESSFUL
Total time: 17 seconds
</computeroutput>
</screen>
</para>
</sect1>
<sect1>
<title>Running &FindBugs;™</title>
<para>
The &Ant; build script for &FindBugs; is set up such that after
building the <command>build</command> target, the working directory
is set up just like a binary distribution. So, the information about
installing a binary distribution of &FindBugs; in <xref linkend="installing" />
applies to source distributions, too.
</para>
</sect1>
</chapter>
<!--
**************************************************************************
Using the FindBugs Graphical Interface
**************************************************************************
-->
<chapter id="gui">
<title>Using the &FindBugs;™ Graphical User Interface</title>
<para>
&FindBugs; has two user interfaces: a graphical user interface (GUI) and a
command line user interface. This chapter describes the graphical user interface.
</para>
<!--
<sect1>
<title>Executing the &FindBugs;™ GUI</title>
</sect1>
-->
<sect1>
<title>Creating a Project</title>
<para>
After you have started &FindBugs; using the <command>findbugs</command> command,
choose the <menuchoice><guimenu>File</guimenu><guimenuitem>New Project</guimenuitem></menuchoice>
menu item. You will see a dialog which looks like this:
<mediaobject>
<imageobject>
<imagedata fileref="project-dialog.png" />
</imageobject>
</mediaobject>
</para>
<para>
Use the "Browse" button next to the "Add archive or directory" text field to select a Java archive
file (zip, jar, ear, or war file) or directory containing java classes to analyze for bugs. You may add multiple
archives/directories.
</para>
<para>
You can also add the source directories which contain
the source code for the Java archives you are analyzing. This will enable
&FindBugs; to highlight the source code which contains a possible error.
The source directories you add should be the roots of the Java
package hierarchy. For example, if your application is contained in the
<varname>org.foobar.myapp</varname> package, you should add the
parent directory of the <filename class="directory">org</filename> directory
to the source directory list for the project.
</para>
<para>
Another optional step is to add additional Jar files or directories as
classpath entries. You should do this if the archives and directories you are analyzing
have references to other classes which are not included in the analyzed
archives/directories and are not in the standard runtime classpath. Some of the bug
pattern detectors in &FindBugs; make use of class hierarchy information,
so you will get more accurate results if the entire class hierarchy is
available which &FindBugs; performs its analysis.
</para>
</sect1>
<sect1>
<title>Running the Analysis</title>
<para>
Once you have added all of the archives, directories, and source directories,
click the "Find Bugs!" button to analyze the classes contained in the
Jar files. Note that for a very large program on an older computer,
this may take quite a while (tens of minutes). A recent computer with
ample memory will typically be able to analyze a large program in only a
few minutes.
</para>
</sect1>
<sect1>
<title>Browsing Results</title>
<para>
When the analysis completes, you will see a screen like the following:
<mediaobject>
<imageobject>
<imagedata fileref="example-details.png" />
</imageobject>
</mediaobject>
</para>
<para>
The top pane of the window shows the bug tree; this is a hierarchical
representation of all of the potential bugs detected in the analyzed
Jar files. The tabs allow you to browse by class, package, or bug type.
</para>
<para>
When you select a particular bug instance in the top pane, you will
see a description of the bug in the "Details" tab of the bottom pane.
In addition, the "Source code" tab of the bottom pane will, for some
kinds of bugs, show the program source code where the potential bug occurs.
In the above example, the bug is an access to an uninitialized field in
a constructor. The source code window highlights the line containing
the problematic access.
</para>
<para>
You may add a textual annotations to bug instances. To do so, choose the
"Annotations" tab in the bottom pane. Simply type in any information which
you would like to record. When you load and save bug results files,
the annotations are preserved.
</para>
<para>
You may use the <menuchoice><guimenu>File</guimenu><guimenuitem>Save project</guimenuitem></menuchoice>
menu option to save the current lists
of Jar files and source directories. A saved project may be loaded with
the <menuchoice><guimenu>File</guimenu><guimenuitem>Open project</guimenuitem></menuchoice> menu option.
Note that when you save a project, the analysis results are
not saved.
</para>
</sect1>
<sect1>
<title>Loading and saving results</title>
<para>
You may use the <menuchoice><guimenu>File</guimenu><guimenuitem>Load bugs</guimenuitem></menuchoice>
and <menuchoice><guimenu>File</guimenu><guimenuitem>Save bugs</guimenuitem></menuchoice> to load
and save the bug results produced by running &FindBugs; on your project. The results are
saved in XML format. Any annotations you have added to bug reports are saved in the
resulting XML file.
</para>
<note>
<title>Planned Features</title>
<para>
Support for loading and saving bugs is still under development.
You may find bugs in this feature, and the file format and/or implementation
may change in future releases.
</para>
</note>
</sect1>
</chapter>
<!--
**************************************************************************
Using the FindBugs Command Line Interface
**************************************************************************
-->
<chapter id="textui">
<title>Using the &FindBugs;™ Command Line Interface</title>
<para>
The &FindBugs; Command Line Interface (or Text UI) can be used to
analyze an application for bugs non-interactively. Each bug instance will be
reported on a single line. All output is written to the standard output file descriptor.
<xref linkend="filter" /> explains how bug reports may be filtered in order
to get only the output you're interested in.
</para>
<para>
See <xref linkend="commandLineOptions" /> in <xref linkend="installing" /> for a description of how to invoke the
Command Line Interface.
</para>
</chapter>
<!--
**************************************************************************
Using the FindBugs Ant task
**************************************************************************
-->
<chapter id="anttask">
<title>Using the &FindBugs;™ &Ant; task</title>
<para>
This chapter describes how to integrate &FindBugs; into a build script
for <ulink url="http://ant.apache.org/">&Ant;</ulink>, which is a popular Java build
and deployment tool. Using the &FindBugs; &Ant; task, your build script can
automatically run &FindBugs; on your Java code.
</para>
<para>
The &Ant; task was generously contributed by Mike Fagan.
</para>
<sect1>
<title>Installing the &Ant; task</title>
<para>
To install the &Ant; task, simply copy <filename>&FBHome;/lib/findbugs-ant.jar</filename>
into the <filename>lib</filename> subdirectory of your &Ant; installation.
<note>
<para>It is strongly recommended that you use the &Ant; task with the version
of &FindBugs; it was included with. We do not guarantee that the &Ant; task Jar file
will work with any version of &FindBugs; other than the one it was included with.</para>
</note>
</para>
</sect1>
<sect1>
<title>Modifying build.xml</title>
<para>
To incorporate &FindBugs; into <filename>build.xml</filename> (the build script
for &Ant;), you first need to add a task definition. This should appear as follows:
<screen>
<taskdef name="findbugs" classname="edu.umd.cs.findbugs.anttask.FindBugsTask"/>
</screen>
The task definition specifies that when a <literal>findbugs</literal> element is
seen in <filename>build.xml</filename>, it should use the indicated class to execute the task.
</para>
<para>
After you have added the task definition, you can define a target
which uses the <literal>findbugs</literal> task. Here is an example
which could be added to the <filename>build.xml</filename> for the
Apache <ulink url="http://jakarta.apache.org/bcel/">BCEL</ulink> library.
<screen>
<property name="findbugs.home" value="/export/home/daveho/work/findbugs" />
<target name="findbugs" depends="jar">
<findbugs home="${findbugs.home}"
output="xml"
outputFile="bcel-fb.xml" >
<auxClasspath path="${basedir}/lib/Regex.jar" />
<sourcePath path="${basedir}/src/java" />
<class location="${basedir}/bin/bcel.jar" />
</findbugs>
</target>
</screen>
The <literal>findbugs</literal> element must have the <literal>home</literal>
attribute set to the directory in which &FindBugs; is installed; in other words,
&FBHome;. See <xref linkend="installing" />.
</para>
<para>
This target will execute &FindBugs; on <filename>bcel.jar</filename>, which is the
Jar file produced by BCEL's build script. (By making it depend on the "jar"
target, we ensure that the library is fully compiled before running &FindBugs; on it.)
The output of &FindBugs; will be saved in XML format to a file called
<filename>bcel-fb.xml</filename>.
An auxiliary Jar file, <filename>Regex.jar</filename>, is added to the aux classpath,
because it is referenced by the main BCEL library. A source path is specified
so that the saved bug data will have accurate references to the BCEL source code.
</para>
</sect1>
<sect1>
<title>Executing the task</title>
<para>
Here is an example of invoking &Ant; from the command line, using the <literal>findbugs</literal>
target defined above.
<screen>
<prompt>[daveho@noir]$</prompt> <command>ant findbugs</command>
Buildfile: build.xml
init:
compile:
examples:
jar:
findbugs:
[findbugs] Running FindBugs...
[findbugs] Bugs were found
[findbugs] Output saved to bcel-fb.xml
BUILD SUCCESSFUL
Total time: 35 seconds
</screen>
In this case, because we saved the bug results in an XML file, we can
use the &FindBugs; GUI to view the results; see <xref linkend="gui"/>.
</para>
</sect1>
<sect1>
<title>Parameters</title>
<para>This section describes the parameters that may be specified when
using the &FindBugs; task.
<variablelist>
<varlistentry>
<term><literal>class</literal></term>
<listitem>
<para>
A nested element specifying which classes to analyze. The <literal>class</literal>
element must specify a <literal>location</literal> attribute which names the
archive file (jar, zip, etc.), directory, or class file to be analyzed. Multiple <literal>class</literal>
elements may be specified as children of a single <literal>findbugs</literal> element.
</para>
</listitem>
</varlistentry>
<varlistentry>
<term><literal>auxClasspath</literal></term>
<listitem>
<para>
An optional nested element which specifies a classpath (Jar files or directories)
containing classes used by the analyzed library or application, but which
you don't want to analyze. It is specified the same way as
&Ant;'s <literal>classpath</literal> element for the Java task.
</para>
</listitem>
</varlistentry>
<varlistentry>
<term><literal>sourcePath</literal></term>
<listitem>
<para>
An optional nested element which specifies a source directory path
containing source files used to compile the Java code being analyzed.
By specifying a source path, any generated XML bug output will have
complete source information, which allows later viewing in the
GUI.
</para>
</listitem>
</varlistentry>
<varlistentry>
<term><literal>home</literal></term>
<listitem>
<para>
A required attribute.
It must be set to the name of the directory where &FindBugs; is installed.
</para>
</listitem>
</varlistentry>
<varlistentry>
<term><literal>quietErrors</literal></term>
<listitem>
<para>
An optional boolean attribute.
If true, reports of serious analysis errors and missing classes will
be suppressed in the &FindBugs; output. Default is false.
</para>
</listitem>
</varlistentry>
<varlistentry>
<term><literal>reportLevel</literal></term>
<listitem>
<para>
An optional attribute. It specifies
the priority threshold for reporting bugs. If set to "low", all bugs are reported.
If set to "medium" (the default), medium and high priority bugs are reported.
If set to "high", only high priority bugs are reported.
</para>
</listitem>
</varlistentry>
<varlistentry>
<term><literal>output</literal></term>
<listitem>
<para>
Optional attribute.
It specifies the output format. If set to "xml" (the default), output
is in XML format.
If set to "xml:withMessages", output is in XML format augmented with
human-readable messages. (You should use this format if you plan
to generate a report using an XSL stylesheet.)
If set to "html", output is in HTML formatted (default stylesheet is default.xsl).
If set to "text", output is in ad-hoc text format.
If set to "emacs", output is in <ulink url="http://www.gnu.org/software/emacs/">Emacs</ulink> error message format.
If set to "xdocs", output is xdoc XML for use with Apache Maven.
</para>
</listitem>
</varlistentry>
<varlistentry>
<term><literal>stylesheet</literal></term>
<listitem>
<para>
Optional attribute.
It specifies the stylesheet to use to generate html output when the output is set to html.
Stylesheets included in the FindBugs distribution include default.xsl, fancy.xsl, fancy-hist.xsl, plain.xsl, and summary.xsl.
The default value, if no stylesheet attribute is provided, is default.xsl.
</para>
</listitem>
</varlistentry>
<varlistentry>
<term><literal>sort</literal></term>
<listitem>
<para>
Optional attribute. If the <literal>output</literal> attribute
is set to "text", then the <literal>sort</literal> attribute specifies
whether or not reported bugs are sorted by class. Default is true.
</para>
</listitem>
</varlistentry>
<varlistentry>
<term><literal>outputFile</literal></term>
<listitem>
<para>
Optional attribute. If specified, names the output file in which the
&FindBugs; output will be saved. By default, the output is displayed
directly by &Ant;.
</para>
</listitem>
</varlistentry>
<varlistentry>
<term><literal>debug</literal></term>
<listitem>
<para>
Optional boolean attribute. If set to true, &FindBugs; prints diagnostic
information about which classes are being analyzed, and which bug pattern
detectors are being run. Default is false.
</para>
</listitem>
</varlistentry>
<varlistentry>
<term><literal>effort</literal></term>
<listitem>
<para>
Set the analysis effort level. The value specified should be
one of <literal>min</literal>, <literal>default</literal>,
or <literal>max</literal>. See <xref linkend="commandLineOptions"/>
for more information about setting the analysis level.
</para>
</listitem>
</varlistentry>
<varlistentry>
<term><literal>conserveSpace</literal></term>
<listitem>
<para>Synonym for effort="min".</para>
</listitem>
</varlistentry>
<varlistentry>
<term><literal>workHard</literal></term>
<listitem>
<para>Synonym for effort="max".</para>
</listitem>
</varlistentry>
<varlistentry>
<term><literal>visitors</literal></term>
<listitem>
<para>
Optional attribute. It specifies a comma-separated list of bug detectors
which should be run. The bug detectors are specified by their class names,
without any package qualification. By default, all detectors which are
not disabled by default are run.
</para>
</listitem>
</varlistentry>
<varlistentry>
<term><literal>omitVisitors</literal></term>
<listitem>
<para>
Optional attribute. It is like the <literal>visitors</literal> attribute,
except it specifies detectors which will <emphasis>not</emphasis> be run.
</para>
</listitem>
</varlistentry>
<varlistentry>
<term><literal>excludeFilter</literal></term>
<listitem>
<para>
Optional attribute. It specifies the filename of a filter specifying bugs
to exclude from being reported. See <xref linkend="filter" />.
</para>
</listitem>
</varlistentry>
<varlistentry>
<term><literal>includeFilter</literal></term>
<listitem>
<para>
Optional attribute. It specifies the filename of a filter specifying
which bugs are reported. See <xref linkend="filter" />.
</para>
</listitem>
</varlistentry>
<varlistentry>
<term><literal>projectFile</literal></term>
<listitem>
<para>
Optional attribute. It specifies the name of a project file.
Project files are created by the &FindBugs; GUI, and specify classes,
aux classpath entries, and source directories. By naming a project,
you don't need to specify any <literal>class</literal> elements,
nor do you need to specify <literal>auxClasspath</literal> or
<literal>sourcePath</literal> attributes.
See <xref linkend="gui"/> for how to create a project.
</para>
</listitem>
</varlistentry>
<varlistentry>
<term><literal>jvmargs</literal></term>
<listitem>
<para>
Optional attribute. It specifies any arguments that should be passed
to the Java virtual machine used to run &FindBugs;. You may need to
use this attribute to specify flags to increase the amount of memory
the JVM may use if you are analyzing a very large program.
</para>
</listitem>
</varlistentry>
<varlistentry>
<term><literal>systemProperty</literal></term>
<listitem>
<para>
Optional nested element. If specified, defines a system property.
The <literal>name</literal> attribute specifies the name of the
system property, and the <literal>value</literal> attribute specifies
the value of the system property.
</para>
</listitem>
</varlistentry>
<varlistentry>
<term><literal>timeout</literal></term>
<listitem>
<para>
Optional attribute. It specifies the amount of time, in milliseconds,
that the Java process executing &FindBugs; may run before it is
assumed to be hung and is terminated. The default is 600,000
milliseconds, which is ten minutes. Note that for very large
programs, &FindBugs; may require more than ten minutes to complete its
analysis.
</para>
</listitem>
</varlistentry>
<varlistentry>
<term><literal>failOnError</literal></term>
<listitem>
<para>
Optional boolean attribute. Whether to abort the build process if there is an
error running &FindBugs;. Defaults to "false"
</para>
</listitem>
</varlistentry>
<varlistentry>
<term><literal>errorProperty</literal></term>
<listitem>
<para>
Optional attribute which specifies the name of a property that
will be set to "true" if an error occurs while running &FindBugs;.
</para>
</listitem>
</varlistentry>
<varlistentry>
<term><literal>warningsProperty</literal></term>
<listitem>
<para>
Optional attribute which specifies the name of a property
that will be set to "true" if any warnings are reported by
&FindBugs; on the analyzed program.
</para>
</listitem>
</varlistentry>
</variablelist>
</para>
<!--
-->
</sect1>
</chapter>
<!--
**************************************************************************
Using the FindBugs Eclipse plugin
**************************************************************************
-->
<chapter id="eclipse">
<title>Using the &FindBugs;™ Eclipse plugin</title>
<para>
The FindBugs Eclipse plugin allows &FindBugs; to be used within
the <ulink url="http://www.eclipse.org/">Eclipse</ulink> IDE.
The FindBugs Eclipse plugin was generously contributed by Peter Friese.
Phil Crosby and Andrei Loskutov contributed major improvements
to the plugin.
</para>
<sect1>
<title>Requirements</title>
<para>
To use the &FindBugs; Plugin for Eclipse, you need Eclipse 3.0.1 or later,
and JRE/JDK 1.4.0 or later.
</para>
</sect1>
<sect1>
<title>Installation</title>
<para>
We provide update sites that allow you to automatically install FindBugs into Eclipse and also query and install updates.
There are three different update sites</para>
<variablelist><title>FindBugs Eclipse update sites</title>
<varlistentry><term><ulink url="http://findbugs.cs.umd.edu/eclipse/">http://findbugs.cs.umd.edu/eclipse/</ulink></term>
<listitem>
<para>
Only provides official releases of FindBugs.
</para>
</listitem>
</varlistentry>
<varlistentry><term><ulink url="http://findbugs.cs.umd.edu/eclipse-candidate/">http://findbugs.cs.umd.edu/eclips-candidate/</ulink></term>
<listitem>
<para>
Provides official releases and release candidates of FindBugs.
</para>
</listitem>
</varlistentry>
<varlistentry><term><ulink url="http://findbugs.cs.umd.edu/eclipse-daily/">http://findbugs.cs.umd.edu/eclipse-daily/</ulink></term>
<listitem>
<para>
Provides the daily build of FindBugs. No testing other than that it compiles.
</para>
</listitem>
</varlistentry>
</variablelist>
<para>You can also manually
download the plugin from the following link:
<ulink url="http://prdownloads.sourceforge.net/findbugs/edu.umd.cs.findbugs.plugin.eclipse_1.2.1.20070531.zip?download"
>http://prdownloads.sourceforge.net/findbugs/edu.umd.cs.findbugs.plugin.eclipse_1.2.1.20070531.zip?download</ulink>.
Extract it in Eclipse's "plugins" subdirectory.
(So <eclipse_install_dir>/plugins/edu.umd.cs.findbugs.plugin.eclipse_1.2.1.20070531/findbugs.png
should be the path to the &FindBugs; logo.)
</para>
<para>
Once the plugin is extracted, start Eclipse and choose
<menuchoice>
<guimenu>Help</guimenu>
<guimenuitem>About Eclipse Platform</guimenuitem>
<guimenuitem>Plug-in Details</guimenuitem>
</menuchoice>.
You should find a plugin called "FindBugs Plug-in" provided by "FindBugs Project".
</para>
</sect1>
<sect1>
<title>Using the Plugin</title>
<para>
To get started, right click on a Java project,
and select the option labeled "Find Bugs".
&FindBugs; will run, and problem markers (displayed in source
windows, and also in the Eclipse Problems view) will point to
locations in your code which have been identified as potential instances
of bug patterns.
</para>
<para>
You may customize how &FindBugs; runs by opening the Properties
dialog for a Java project, and choosing the "Findbugs" property page.
Options you may choose include:
</para>
<itemizedlist>
<listitem>
<para>
Enable or disable the "Run FindBugs Automatically" checkbox.
When enabled, FindBugs will run every time you modify a Java class
within the project.
</para>
</listitem>
<listitem>
<para>
Choose minimum warning priority and enabled bug categories.
These options will choose which warnings are shown.
For example, if you select the "Medium" warning priority,
only Medium and High priority warnings will be shown.
Similarly, if you uncheck the "Style" checkbox, no warnings
in the Style category will be displayed.
</para>
</listitem>
<listitem>
<para>
Select detectors. The table allows you to select which detectors
you want to enable for your project.
</para>
</listitem>
</itemizedlist>
</sect1>
<sect1>
<title>Troubleshooting</title>
<para>
The &FindBugs; Eclipse plugin is still experimental. This section
lists common problems with the plugin and (if known) how to resolve them.
</para>
<itemizedlist>
<listitem>
<para>
If you do not see any &FindBugs; problem markers (in your source
windows or in the Problems View), you may need to change your
Problems View filter settings. See
<ulink url="http://findbugs.sourceforge.net/FAQ.html#q7">http://findbugs.sourceforge.net/FAQ.html#q7</ulink> for more information.
</para>
</listitem>
</itemizedlist>
</sect1>
</chapter>
<!--
**************************************************************************
Filter files
**************************************************************************
-->
<chapter id="filter">
<title>Filter Files</title>
<para>
Filter files may be used to include or exclude bug reports for particular classes
and methods. This chapter explains how to use filter files.
<note>
<title>Planned Features</title>
<para>
Filters are currently only supported by the Command Line interface.
Eventually, filter support will be added to the GUI.
</para>
</note>
</para>
<sect1>
<title>Introduction to Filter Files</title>
<para>
Conceptually, a filter matches bug instances against a set of criteria.
By defining a filter, you can select bug instances for special treatment;
for example, to exclude or include them in a report.
</para>
<para>
A filter file is an <ulink url="http://www.w3.org/XML/">XML</ulink> document with a top-level <literal>FindBugsFilter</literal> element
which has some number of <literal>Match</literal> elements as children. Each <literal>Match</literal>
element represents a predicate which is applied to generated bug instances.
Usually, a filter will be used to exclude bug instances. For example:
<screen>
<prompt>$ </prompt><command>findbugs -textui -exclude <replaceable>myExcludeFilter.xml</replaceable> <replaceable>myApp.jar</replaceable></command>
</screen>
However, a filter could also be used to select bug instances to specifically
report:
<screen>
<prompt>$ </prompt><command>findbugs -textui -include <replaceable>myIncludeFilter.xml</replaceable> <replaceable>myApp.jar</replaceable></command>
</screen>
</para>
<para>
<literal>Match</literal> elements contain children, which are conjuncts of the predicate.
In other words, each of the children must be true for the predicate to be true.
</para>
</sect1>
<sect1>
<title>Types of Match clauses</title>
<variablelist>
<varlistentry>
<term><literal><Bug></literal></term>
<listitem><para>
This element specifies a particular bug pattern or patterns to match.
The <literal>pattern</literal> attribute is a comma-separated list of
bug pattern types. You can find the bug pattern types for particular
warnings by looking at the output produced by the <command>-xml</command>
output option (the <literal>type</literal> attribute of <literal>BugInstance</literal>
elements), or from the <ulink url="../bugDescriptions.html">bug
descriptions document</ulink>.
</para><para>
For more coarse-grained matching, use <literal>code</literal> attribute. It takes
a comma-separated list of bug abbreviations. For most-coarse grained matching use
<literal>category</literal> attriute, that takes a comma separated list of bug category names:
<literal>CORRECTNESS</literal>, <literal>MT_CORRECTNESS</literal>,
<literal>BAD_PRACTICICE</literal>, <literal>PERFORMANCE</literal>, <literal>STYLE</literal>.
</para><para>
If more than one of the attributes mentioned above are specified on the same
<literal><Bug></literal> element, all bug patterns that match either one of specified
pattern names, or abreviations, or categories will be matched.
</para><para>
As a backwards compatibility measure, <literal><BugPattern></literal> and
<literal><BugCode></literal> elements may be used instead of
<literal><Bug></literal> element. Each of these uses a
<literal>name</literal> attribute for specifying accepted values list. Support for these
elements may be removed in a future release.
</para></listitem>
</varlistentry>
<varlistentry>
<term><literal><Priority></literal></term>
<listitem>
<para>
This element matches warnings with a particular priority.
The <literal>value</literal> attribute should be an integer value:
1 to match high-priority warnings, 2 to match medium-priority warnings,
or 3 to match low-priority warnings.
</para>
</listitem>
</varlistentry>
<varlistentry>
<term><literal><Package></literal></term>
<listitem>
<para>
This element matches warnings associated with classes within the package specified
using <literal>name</literal> attribute. Nested packages are not included (along the
lines of Java import statement). However matching multiple packages can be achieved
easily using regex name match.
</para>
</listitem>
</varlistentry>
<varlistentry>
<term><literal><Class></literal></term>
<listitem>
<para>
This element matches warnings associated with a particular class. The
<literal>name</literal> attribute is used to specify the exact or regex match pattern
for the class name.
</para>
<para>
As a backward compatibility measure, instead of element of this type, you can use
<literal>class</literal> attribute on a <literal>Match</literal> element to specify
exact an class name or <literal>classregex</literal> attribute to specify a regular
expression to match the class name against.
</para>
<para>
If the <literal>Match</literal> element contains neither a <literal>Class</literal> element,
nor a <literal>class</literal> / <literal>classregex</literal> attribute, the predicate will apply
to all classes. Such predicate is likely to match more bug instances than you want, unless it is
refined further down with apropriate method or field predicates.
</para>
</listitem>
</varlistentry>
<varlistentry>
<term><literal><Method></literal></term>
<listitem><para>This element specifies a method. The <literal>name</literal> is used to specify
the exact or regex match pattern for the method name.
The <literal>params</literal> attribute is a comma-separated list
of the types of the method's parameters. The <literal>returns</literal> attribute is
the method's return type. In <literal>params</literal> and <literal>returns</literal>, class names
must be fully qualified. (E.g., "java.lang.String" instead of just
"String".) If one of the latter attributes is specified the other is required for creating a method signature.
Note that you can provide either <literal>name</literal> attribute or <literal>params</literal>
and <literal>returns</literal> attributes or all three of them. This way you can provide various kinds of
name and signature based matches.
</para></listitem>
</varlistentry>
<varlistentry>
<term><literal><Field></literal></term>
<listitem><para>This element specifies a field. The <literal>name</literal> attribute is is used to specify
the exact or regex match pattern for the field name. You can also filter fields according to their signature -
use <literal>type</literal> attribute to specify fully qualified type of the field. You can specify eiter or both
of these attributes in order to perform name / signature based matches.
</para></listitem>
</varlistentry>
<varlistentry>
<term><literal><Local></literal></term>
<listitem><para>This element specifies a local variable. The <literal>name</literal> attribute is is used to specify
the exact or regex match pattern for the local variable name. Local variables are variables defined within a method.
</para></listitem>
</varlistentry>
<varlistentry>
<term><literal><Or></literal></term>
<listitem><para>
This element combines <literal>Match</literal> clauses as disjuncts. I.e., you can put two
<literal>Method</literal> elements in an <literal>Or</literal> clause in order match either method.
</para></listitem>
</varlistentry>
</variablelist>
</sect1>
<sect1>
<title>Java element name matching</title>
<para>
If the <literal>name</literal> attribute or <literal>Class</literal>, <literal>Method</literal> or
<literal>Field</literal> starts with the ~ character the rest of attribute content is interpreted as
a Java regular expression that is matched against the names of the Java element in question.
</para>
<para>
Note that the pattern is matched against whole element name and therefore .* clauses need to be used
at pattern beginning and/or end to perform substring matching.
</para>
<para>
See <ulink url="http://java.sun.com/j2se/1.4.2/docs/api/java/util/regex/Pattern.html"><literal>java.util.regex.Pattern</literal></ulink>
documentation for pattern syntax.
</para>
</sect1>
<sect1>
<title>Caveats</title>
<para>
<literal>Match</literal> clauses can only match information that is actually contained in the
bug instances. Every bug instance has a class, so in general, excluding
bugs by class will work.
</para>
<para>
Some bug instances have two (or more) classes. For example, the DE (dropped exception)
bugs report both the class containing the method where the dropped exception
happens, and the class which represents the type of the dropped exception.
Only the <emphasis>first</emphasis> (primary) class is matched against <literal>Match</literal> clauses.
So, for example, if you want to suppress IC (initialization circularity)
reports for classes "com.foobar.A" and "com.foobar.B", you would use
two <literal>Match</literal> clauses:
<programlisting>
<Match>
<Class name="com.foobar.A" />
<Bug code="IC" />
</Match>
<Match>
<Class name="com.foobar.B" />
<Bug code="IC" />
</Match>
</programlisting>
By explicitly matching both classes, you ensure that the IC bug instance will be
matched regardless of which class involved in the circularity happens to be
listed first in the bug instance. (Of course, this approach might accidentally
supress circularities involving "com.foobar.A" or "com.foobar.B" and a third
class.)
</para>
<para>
Many kinds of bugs report what method they occur in. For those bug instances,
you can put <literal>Method</literal> clauses in the <literal>Match</literal> element and they should work
as expected.
</para>
</sect1>
<sect1>
<title>Examples</title>
<para>
1. Match all bug reports for a class.
<programlisting>
<![CDATA[
<Match>
<Class name="com.foobar.MyClass" />
</Match>
]]>
</programlisting>
</para>
<para>
2. Match certain tests from a class by specifying their abbreviations.
<programlisting>
<![CDATA[
<Match>
<Class name="com.foobar.MyClass"/ >
<Bug code="DE,UrF,SIC" />
</Match>
]]>
</programlisting>
</para>
<para>
3. Match certain tests from all classes by specifying their abbreviations.
<programlisting>
<![CDATA[
<Match>
<Bug code="DE,UrF,SIC" />
</Match>
]]>
</programlisting>
</para>
<para>
4. Match certain tests from all classes by specifying their category.
<programlisting>
<![CDATA[
<Match>
<Bug category="PERFORMANCE" />
</Match>
]]>
</programlisting>
</para>
<para>
5. Match bug types from specified methods of a class by their abbreviations.
<programlisting>
<![CDATA[
<Match>
<Class name="com.foobar.MyClass" />
<Or>
<Method name="frob" params="int,java.lang.String" returns="void" />
<Method name="blat" params="" returns="boolean" />
</Or>
<Bug code="DC" />
</Match>
]]>
</programlisting>
</para>
<para>
6. Match a particular bug pattern in a particular method.
<programlisting>
<![CDATA[
<!-- A method with an open stream false positive. -->
<Match>
<Class name="com.foobar.MyClass" />
<Method name="writeDataToFile" />
<Bug pattern="OS_OPEN_STREAM" />
</Match>
]]>
</programlisting>
</para>
<para>
7. Match a particular bug pattern with a given priority in a particular method.
<programlisting>
<![CDATA[
<!-- A method with a dead local store false positive (medium priority). -->
<Match>
<Class name="com.foobar.MyClass" />
<Method name="someMethod" />
<Bug pattern="DLS_DEAD_LOCAL_STORE" />
<Priority value="2" />
</Match>
]]>
</programlisting>
</para>
<para>
8. Match minor bugs introduced by AspectJ compiler (you are probably not interested in these unless
you are an AspectJ developer).
<programlisting>
<![CDATA[
<Match>
<Class name="~.*\$AjcClosure\d+" />
<Bug pattern="DLS_DEAD_LOCAL_STORE" />
<Method name="run" />
</Match>
<Match>
<Bug pattern="UUF_UNUSED_FIELD" />
<Field name="~ajc\$.*" />
</Match>
]]>
</programlisting>
</para>
<para>
9. Match bugs in specific parts of the code base
<programlisting>
<![CDATA[
<!-- match unused fields warnings in Messages classes in all packages -->
<Match>
<Class name="~.*\.Messages" />
<Bug code="UUF" />
</Match>
<!-- match mutable statics warnings in all internal packages -->
<Match>
<Package name="~.*\.internal" />
<Bug code="MS" />
</Match>
<!-- match anonymoous inner classes warnings in ui package hierarchy -->
<Match>
<Package name="~com\.foobar\.fooproject\.ui.*" />
<Bug pattern="SIC_INNER_SHOULD_BE_STATIC_ANON" />
</Match>
]]>
</programlisting>
</para>
<para>
10. Match bugs on fieds or methods with specific signatures
<programlisting>
<![CDATA[
<!-- match System.exit(...) usage warnings in void main(String[]) methods in all classes -->
<Match>
<Method returns="void" name="main" params="java.lang.String[]" />
<Method pattern="DM_EXIT" />
</Match>
<!-- match UuF warnings on fields of type com.foobar.DebugInfo on all classes -->
<Match>
<Field type="com.foobar.DebugInfo" />
<Bug code="UuF" />
</Match>
]]>
</programlisting>
</para>
</sect1>
<sect1>
<title>Complete Example</title>
<programlisting>
<![CDATA[
<FindBugsFilter>
<Match>
<Class name="com.foobar.ClassNotToBeAnalyzed" />
</Match>
<Match>
<Class name="com.foobar.ClassWithSomeBugsMatched" />
<Bug code="DE,UrF,SIC" />
</Match>
<!-- Match all XYZ violations. -->
<Match>
<Bug code="XYZ" />
</Match>
<!-- Match all doublecheck violations in these methods of "AnotherClass". -->
<Match>
<Class name="com.foobar.AnotherClass" />
<Or>
<Method name="nonOverloadedMethod" />
<Method name="frob" params="int,java.lang.String" returns="void" />
<Method name="blat" params="" returns="boolean" />
</Or>
<Bug code="DC" />
</Match>
<!-- A method with a dead local store false positive (medium priority). -->
<Match>
<Class name="com.foobar.MyClass" />
<Method name="someMethod" />
<Bug code="DLS_DEAD_LOCAL_STORE" />
<Priority value="2" />
</Match>
</FindBugsFilter>
]]>
</programlisting>
</sect1>
</chapter>
<!--
**************************************************************************
Analysis properties
**************************************************************************
-->
<chapter id="analysisprops">
<title>Analysis Properties</title>
<para>
&FindBugs; allows several aspects of the analyses it performs to be
customized. System properties are used to configure these options.
This chapter describes the configurable analysis options.
</para>
<para>
The analysis options have two main purposes. First, they allow you
to inform &FindBugs; about the meaning of methods in your application,
so that it can produce more accurate results, or produce fewer
false warnings. Second, they allow you to configure the precision
of the analysis performed. Reducing analysis precision can save
memory and analysis time, at the expense of missing some real bugs,
or producing more false warnings.
</para>
<para>
The analysis options are set using the <command>-property</command>
command line option. For example:
<screen>
<prompt>$ </prompt><command>findbugs -textui -property "cfg.noprune=true" <replaceable>myApp.jar</replaceable></command>
</screen>
</para>
<para>
The list of configurable analysis properties is shown in
<xref linkend="analysisproptable"/>.
</para>
<table id="analysisproptable">
<title>Configurable Analysis Properties</title>
<tgroup cols="3" align="left">
<thead>
<row>
<entry>Property Name</entry>
<entry>Value</entry>
<entry>Meaning</entry>
</row>
</thead>
<tbody>
<!--
<row>
<entry>cfg.noprune</entry>
<entry>true or false</entry>
<entry>If true, infeasible exception edges are not pruned from
the control flow graphs of analyzed methods. This option
increases the speed of the analysis (by about 20%-30%),
but causes some detectors to produce more false warnings.</entry>
</row>
-->
<row>
<entry>findbugs.assertionmethods</entry>
<entry>Comma-separated list of fully qualified method names:
e.g., "com.foo.MyClass.checkAssertion"</entry>
<entry>This property specifies the names of methods that are used
to check program assertions. Specifying these methods allows
the null pointer dereference bug detector to avoid reporting
false warnings for values which are checked by assertion
methods.</entry>
</row>
<row>
<entry>findbugs.de.comment</entry>
<entry>true or false</entry>
<entry>If true, the DroppedException detector scans source code
for empty catch blocks for a comment, and if one is found, does
not report a warning.</entry>
</row>
<row>
<entry>findbugs.maskedfields.locals</entry>
<entry>true or false</entry>
<entry>If true, emit low priority warnings for local variables
which obscure fields. Default is false.</entry>
</row>
<row>
<entry>findbugs.nullderef.assumensp</entry>
<entry>true or false</entry>
<entry>not used
(intention: If true, the null dereference detector assumes that any
reference value returned from a method or passed to a method
in a parameter might be null. Default is false. Note that
enabling this property will very likely cause a large number
of false warnings to be produced.)</entry>
</row>
<row>
<entry>findbugs.refcomp.reportAll</entry>
<entry>true or false</entry>
<entry>If true, all suspicious reference comparisons
using the == and != operators are reported. If false,
only one such warning is issued per method. Default
is false.</entry>
</row>
<row>
<entry>findbugs.sf.comment</entry>
<entry>true or false</entry>
<entry>If true, the SwitchFallthrough detector will only report
warnings for cases where the source code does not have a comment
containing the words "fall" or "nobreak". (An accurate source
path must be used for this feature to work correctly.)
This helps find cases where the switch fallthrough is likely
to be unintentional.</entry>
</row>
<!-- see others at src/doc/manual/sysprops.html
<row>
<entry></entry>
<entry></entry>
<entry></entry>
</row>
-->
</tbody>
</tgroup>
</table>
</chapter>
<!--
**************************************************************************
Annotations
***************************************************************************
-->
<chapter id="annotations">
<title>Annotations</title>
<para>
&FindBugs; supports several annotations to express the developer's intent
so that FindBugs can issue warnings more appropriately. You need to use
Java 5 to use annotations, and must place the annotations.jar on the
classpath while compiling your program.
</para>
<variablelist>
<varlistentry>
<term><command>edu.umd.cs.findbugs.annotations.CheckForNull</command></term>
<listitem>
<command>[Target]</command> Field, Method, Parameter, Local variable
</listitem>
<listitem>
<para>
The annotated element might be null, and uses of the element should check for null.
When this annotation is applied to a method it applies to the method return value.
</para>
</listitem>
</varlistentry>
<varlistentry>
<term><command>edu.umd.cs.findbugs.annotations.CheckReturnValue</command></term>
<listitem>
<command>[Target]</command> Method, Constructor
</listitem>
<listitem>
<variablelist>
<varlistentry>
<term><command>[Parameter]</command></term>
<listitem>
<para>
<command>priority:</command>The priority of the warning (HIGH, MEDIUM, LOW, IGNORE). Default value:MEDIUM.
</para>
</listitem>
<listitem>
<para>
<command>explanation:</command>A textual explaination of why the return value should be checked. Default value:"".
</para>
</listitem>
</varlistentry>
</variablelist>
</listitem>
<listitem>
<para>
This annotation is used to denote a method whose return value should always be checked after invoking the method.
</para>
</listitem>
</varlistentry>
<varlistentry>
<term><command>edu.umd.cs.findbugs.annotations.DefaultAnnotation</command></term>
<listitem>
<command>[Target]</command> Type, Package
</listitem>
<listitem>
<variablelist>
<varlistentry>
<term><command>[Parameter]</command></term>
<listitem>
<para>
<command>value:</command>Annotation class objects. More than one class can be specified.
</para>
</listitem>
<listitem>
<para>
<command>priority:</command>Default priority(HIGH, MEDIUM, LOW, IGNORE). Default value:MEDIUM.
</para>
</listitem>
</varlistentry>
</variablelist>
</listitem>
<listitem>
<para>
Indicates that all members of the class or package should be annotated with the default
value of the supplied annotation classes. This would be used for behavior annotations
such as @NonNull, @CheckForNull, or @CheckReturnValue. In particular, you can use
@DefaultAnnotation(NonNull.class) on a class or package, and then use @Nullable only
on those parameters, methods or fields that you want to allow to be null.
</para>
</listitem>
</varlistentry>
<varlistentry>
<term><command>edu.umd.cs.findbugs.annotations.DefaultAnnotationForFields</command></term>
<listitem>
<command>[Target]</command> Type, Package
</listitem>
<listitem>
<variablelist>
<varlistentry>
<term><command>[Parameter]</command></term>
<listitem>
<para>
<command>value:</command>Annotation class objects. More than one class can be specified.
</para>
</listitem>
<listitem>
<para>
<command>priority:</command>Default priority(HIGH, MEDIUM, LOW, IGNORE). Default value:MEDIUM.
</para>
</listitem>
</varlistentry>
</variablelist>
</listitem>
<listitem>
<para>
This is same as the DefaultAnnotation except it only applys to fields.
</para>
</listitem>
</varlistentry>
<varlistentry>
<term><command>edu.umd.cs.findbugs.annotations.DefaultAnnotationForMethods</command></term>
<listitem>
<command>[Target]</command> Type, Package
</listitem>
<listitem>
<variablelist>
<varlistentry>
<term><command>[Parameter]</command></term>
<listitem>
<para>
<command>value:</command>Annotation class objects. More than one class can be specified.
</para>
</listitem>
<listitem>
<para>
<command>priority:</command>Default priority(HIGH, MEDIUM, LOW, IGNORE). Default value:MEDIUM.
</para>
</listitem>
</varlistentry>
</variablelist>
</listitem>
<listitem>
<para>
This is same as the DefaultAnnotation except it only applys to methods.
</para>
</listitem>
</varlistentry>
<varlistentry>
<term><command>edu.umd.cs.findbugs.annotations.DefaultAnnotationForParameters</command></term>
<listitem>
<command>[Target]</command> Type, Package
</listitem>
<listitem>
<variablelist>
<varlistentry>
<term><command>[Parameter]</command></term>
<listitem>
<para>
<command>value:</command>Annotation class objects. More than one class can be specified.
</para>
</listitem>
<listitem>
<para>
<command>priority:</command>Default priority(HIGH, MEDIUM, LOW, IGNORE). Default value:MEDIUM.
</para>
</listitem>
</varlistentry>
</variablelist>
</listitem>
<listitem>
<para>
This is same as the DefaultAnnotation except it only applys to method parameters.
</para>
</listitem>
</varlistentry>
<varlistentry>
<term><command>edu.umd.cs.findbugs.annotations.NonNull</command></term>
<listitem>
<command>[Target]</command> Field, Method, Parameter, Local variable
</listitem>
<listitem>
<para>
The annotated element must not be null.
Annotated fields must not be null after construction has completed. Annotated methods must have non-null return values.
</para>
</listitem>
</varlistentry>
<varlistentry>
<term><command>edu.umd.cs.findbugs.annotations.Nullable</command></term>
<listitem>
<command>[Target]</command> Field, Method, Parameter, Local variable
</listitem>
<listitem>
<para>
The annotated element could be null under some circumstances. In general, this means
developers will have to read the documentation to determine when a null value is
acceptable and whether it is neccessary to check for a null value.
</para>
</listitem>
</varlistentry>
<varlistentry>
<term><command>edu.umd.cs.findbugs.annotations.OverrideMustInvoke</command></term>
<listitem>
<command>[Target]</command> Method
</listitem>
<listitem>
<variablelist>
<varlistentry>
<term><command>[Parameter]</command></term>
<listitem>
<para>
<command>value:</command>Specify when the super invocation should be
performed (FIRST, ANYTIME, LAST). Default value:ANYTIME.
</para>
</listitem>
</varlistentry>
</variablelist>
</listitem>
<listitem>
<para>
Used to annotate a method that, if overridden, must (or should) be invoke super
in the overriding method. Examples of such methods include finalize() and clone().
The argument to the method indicates when the super invocation should occur:
at any time, at the beginning of the overriding method, or at the end of the overriding method.
(This anotation is not implmemented in FindBugs as of September 8, 2006).
</para>
</listitem>
</varlistentry>
<varlistentry>
<term><command>edu.umd.cs.findbugs.annotations.PossiblyNull</command></term>
<listitem>
<para>
This annotation is deprecated. Use CheckForNull instead.
</para>
</listitem>
</varlistentry>
<varlistentry>
<term><command>edu.umd.cs.findbugs.annotations.SuppressWarnings</command></term>
<listitem>
<command>[Target]</command> Type, Field, Method, Parameter, Constructor, Local variable, Package
</listitem>
<listitem>
<variablelist>
<varlistentry>
<term><command>[Parameter]</command></term>
<listitem>
<para>
<command>value:</command>The name of the warning. More than one name can be specified.
</para>
</listitem>
<listitem>
<para>
<command>justification:</command>Reason why the warning should be ignored. Default value:"".
</para>
</listitem>
</varlistentry>
</variablelist>
</listitem>
<listitem>
<para>
The set of warnings that are to be suppressed by the compiler in the annotated element.
Duplicate names are permitted. The second and successive occurrences of a name are ignored.
The presence of unrecognized warning names is <emphasis>not</emphasis> an error: Compilers
must ignore any warning names they do not recognize. They are, however, free to emit a
warning if an annotation contains an unrecognized warning name. Compiler vendors should
document the warning names they support in conjunction with this annotation type. They
are encouraged to cooperate to ensure that the same names work across multiple compilers.
</para>
</listitem>
</varlistentry>
<varlistentry>
<term><command>edu.umd.cs.findbugs.annotations.UnknownNullness</command></term>
<listitem>
<command>[Target]</command> Field, Method, Parameter, Local variable
</listitem>
<listitem>
<para>
Used to indicate that the nullness of the target is unknown, or my vary in unknown ways in subclasses.
</para>
</listitem>
</varlistentry>
<varlistentry>
<term><command>edu.umd.cs.findbugs.annotations.UnknownNullness</command></term>
<listitem>
<command>[Target]</command> Field, Method, Parameter, Local variable
</listitem>
<listitem>
<para>
Used to indicate that the nullness of the target is unknown, or my vary in unknown ways in subclasses.
</para>
</listitem>
</varlistentry>
</variablelist>
<para>
&FindBugs; also supports the following annotations:
<itemizedlist>
<listitem>net.jcip.annotations.GuardedBy</listitem>
<listitem>net.jcip.annotations.Immutable</listitem>
<listitem>net.jcip.annotations.NotThreadSafe</listitem>
<listitem>net.jcip.annotations.ThreadSafe</listitem>
</itemizedlist>
</para>
<para>
You can refer the JCIP annotation <ulink url="http://jcip.net/annotations/doc/index.html">
API documentation</ulink> at <ulink url="http://jcip.net/">Java Concurrency in Practice</ulink>.
</para>
</chapter>
<!--
**************************************************************************
Data mining
**************************************************************************
-->
<chapter id="datamining">
<title>Data mining of bugs with &FindBugs;™</title>
<para>
FindBugs incorporates an ability to perform sophisticated queries on bug
databases and track warnings across multiple versions of code being
studied, allowing you to do things such as seeing when a bug was first introduced, examining
just the warnings that have been introduced since the last release, or graphing the number
of infinite recursive loops in your code over time.</para>
<para>
These techniques all depend upon the XML format used by FindBugs for storing warnings.
These XML files usually contain just the warnings from one particular analysis run, but
they can also store the results from analyzing a sequence of software builds or versions.
</para>
<para>
Any FindBugs XML bug database contains a version name and timestamp.
FindBugs tries to compute a timestamp from the timestamps of the files that
are analyzed (e.g., the timestamp is intended to be the time the class files
were generated, not analyzed). Each bug database also contains a version name.
Both the version name and timestamp can be set manually using the
<command>setBugDatabaseInfo</command> (<xref linkend="setBugDatabaseInfo" />) command.
</para>
<para>A multiversion bug database assigns a sequence number to each version of
the analyzed code. These sequence numbers are simply successive integers,
starting at 0 (e.g., a bug database for 4 versions of the code will contain
versions 0..3). The bug database will also record the name and timestamp for
each version. The <command>filterBugs</command> command allows you to refer
to a version by sequence number, name or timestamp.</para>
<para>
You can take a sequence (or pair) of single version bug databases and create
from them a multiversion bug database, or combine a multiversion bug database
with a sequence of later single-version bug databases.</para>
<sect1 id="commands">
<title>Commands</title>
<para>
The current tools for FindBugs data mining are designed to be invoked
from the command line.</para>
<para>
Briefly, the commands are:</para>
<variablelist>
<varlistentry>
<term><command><link linkend="unionBugs">unionBugs</link></command></term>
<listitem>
<para>
combine the results from separate analysis of disjoint
classes
</para>
</listitem>
</varlistentry>
<varlistentry>
<term><command><link linkend="computeBugHistory">computeBugHistory</link></command></term>
<listitem>
<para>Merge bug warnings from multiple versions of
analyzed code into
a single multiversion bug database. This can either be used
to add more versions to an existing multiversion database,
or to create a multiversion database from a sequence of single version
bug warning databases.</para>
</listitem>
</varlistentry>
<varlistentry>
<term><command><link linkend="setBugDatabaseInfo">setBugDatabaseInfo</link></command></term>
<listitem>
<para>Set information such as the revision name or
timestamp in an XML bug database</para>
</listitem>
</varlistentry>
<varlistentry>
<term><command><link linkend="listBugDatabaseInfo">listBugDatabaseInfo</link></command></term>
<listitem>
<para>List information such as the revision name and
timestamp for a list of XML bug databases</para>
</listitem>
</varlistentry>
<varlistentry>
<term><command><link linkend="filterBugs">filterBugs</link></command></term>
<listitem>
<para>Select a subset of a bug database</para>
</listitem>
</varlistentry>
<varlistentry>
<term><command><link linkend="mineBugHistory">mineBugHistory</link></command></term>
<listitem>
<para>Generate a tabular listing of the number of warnings in each
version of a multiversion bug database</para>
</listitem>
</varlistentry>
<varlistentry>
<term><command><link linkend="defectDensity">defectDensity</link></command></term>
<listitem>
<para>List information about defect density
(warnings per 1000 NCSS)
for the entire project and each class and package</para>
</listitem>
</varlistentry>
<varlistentry>
<term><command><link linkend="convertXmlToText">convertXmlToText</link></command></term>
<listitem>
<para>Convert bug warnings in XML format to
a textual one-line-per-bug format, or to HTML</para>
</listitem>
</varlistentry>
</variablelist>
<sect2 id="unionBugs">
<title>unionBugs</title>
<para>
If you have, for example, separately analyzing each jar file used in an application,
you can use this command to combine the separately generated xml bug warning files into
a single file containing all of the warnings.</para>
<para>Do <emphasis>not</emphasis> use this command to combine results from analyzing different versions of the same
file; use <command>computeBugHistory</command> instead.</para>
<para>Specify the xml files on the command line. The result is sent to standard output.</para>
</sect2>
<sect2 id="computeBugHistory">
<title>computeBugHistory</title>
<para>Use this command to generate a bug database containing information from different builds or versions
of software you are analyzing.
History is taken from the first file provided as input; any following
files should be single version bug databases (if they contain history, the history in those
files will be ignored).</para>
<para>By default, output is written to the standard output.
</para>
<para>The options are:</para>
<variablelist>
<varlistentry>
<term><option>-output</option> <replaceable>filename</replaceable></term>
<listitem>
<para>
specify that the output should be saved in the file <replaceable>filename</replaceable>
</para>
<para>
The output file is not written until all input files are read,
so you may overwrite one of the input files if you wish.
</para>
</listitem>
</varlistentry>
<varlistentry>
<term><option>-overrideRevisionNames</option></term>
<listitem>
<para>
override revision names for each version with names computed from the filenames
</para>
</listitem>
</varlistentry>
<varlistentry>
<term><option>-noPackageMoves</option></term>
<listitem>
<para>
if a class seems to have moved from one package to another, treat
warnings in that class as two seperate warnings
</para>
</listitem>
</varlistentry>
<varlistentry>
<term><option>-preciseMatch</option></term>
<listitem>
<para>
require bug patterns to match precisely
</para>
</listitem>
</varlistentry>
<varlistentry>
<term><option>-precisePriorityMatch</option></term>
<listitem>
<para>
only consider two warnings to be the same if their priorities match exactly
</para>
</listitem>
</varlistentry>
<varlistentry>
<term><option>-quiet</option></term>
<listitem>
<para>
don't generate any outout to standard out unless there is an error
</para>
</listitem>
</varlistentry>
<!--
<varlistentry>
<term><option></option></term>
<listitem>
<para>
</para>
</listitem>
</varlistentry>
-->
</variablelist>
</sect2>
<sect2 id="filterBugs">
<title>filterBugs</title>
<para>This command is used to select a subset of warnings from a FindBugs XML warning file
and write the selected subset to a new FindBugs warning file.</para>
<para>
This command takes a sequence of options, and either zero, one or two
filenames of findbugs xml bug files on the command line.</para>
<para>If no file names are provided, the command reads from standard input
and writes to standard output. If one file name is provided,
it reads from the file and writes to standard output.
If two file names are provided, it reads from the first and writes the output
to the second file name.</para>
<table id="filterOptionsTable">
<title>Options for filterBugs command</title>
<tgroup cols="2" align="left">
<thead>
<row>
<entry>Option</entry>
<entry>Meaning</entry>
</row>
</thead>
<tbody>
<row><entry>-not</entry> <entry>reverse (all) switches for the filter</entry></row>
<row><entry>-withSource[:truth]</entry> <entry>only warnings for switch source is available</entry></row>
<row><entry>-exclude <filter file></entry><entry>exclude bugs matching given filter</entry></row>
<row><entry>-include <filter file></entry><entry>include only bugs matching given filter</entry></row>
<row><entry>-annotation <text></entry> <entry>allow only warnings containing this text in a manual annotation</entry></row>
<row><entry>-classified[:truth]</entry> <entry>allow only classified warnings</entry></row>
<row><entry>-serious[:truth]</entry> <entry>allow only warnings manually classified as serious</entry></row>
<row><entry>-after <when></entry> <entry>allow only warnings that first occurred after this version</entry></row>
<row><entry>-before <when></entry> <entry>allow only warnings that first occurred before this version</entry></row>
<row><entry>-first <when></entry> <entry>allow only warnings that first occurred in this version</entry></row>
<row><entry>-last <when></entry> <entry>allow only warnings that last occurred in this version</entry></row>
<row><entry>-fixed <when></entry> <entry>allow only warnings that last occurred in the previous version (clobbers <option>-last</option>)</entry></row>
<row><entry>-present <when></entry> <entry>allow only warnings present in this version</entry></row>
<row><entry>-absent <when></entry> <entry>allow only warnings absent in this version</entry></row>
<row><entry>-active[:truth]</entry> <entry>allow only warnings alive in the last sequence number</entry></row>
<row><entry>-introducedByChange[:truth]</entry> <entry>allow only warnings introduced by a change of an existing class</entry></row>
<row><entry>-removedByChange[:truth]</entry> <entry>allow only warnings removed by a change of a persisting class</entry></row>
<row><entry>-newCode[:truth]</entry> <entry>allow only warnings introduced by the addition of a new class</entry></row>
<row><entry>-removedCode[:truth]</entry> <entry>allow only warnings removed by removal of a class</entry></row>
<row><entry>-priority <level></entry> <entry>allow only warnings with this priority or higher</entry></row>
<row><entry>-class <pattern></entry> <entry>allow only bugs whose primary class name matches this pattern</entry></row>
<row><entry>-bugPattern <pattern></entry> <entry>allow only bugs whose type matches this pattern</entry></row>
<row><entry>-category <category></entry> <entry>allow only warnings with a category that starts with this string</entry></row>
<row><entry>-designation <designation></entry> <entry>allow only warnings with this designation (e.g., -designation SHOULD_FIX)</entry></row>
<row><entry>-withMessages[:truth] </entry> <entry>the generated XML should contain textual messages</entry></row>
</tbody>
</tgroup>
</table>
</sect2>
<sect2 id="mineBugHistory">
<title>mineBugHistory</title>
<para>This command generates a table containing counts of the numbers of warnings
in each version of a multiversion bug database.</para>
<para>The options are:</para>
<variablelist>
<varlistentry>
<term><option>-formatDates</option></term>
<listitem>
<para>
render dates in textual form
</para>
</listitem>
</varlistentry>
<varlistentry>
<term><option>-noTabs</option></term>
<listitem>
<para>
delimit columns with groups of spaces instead of tabs.
This can be easier to read from a shell with a fixed-width font.
</para>
<para>
Because numeric columns are right-justified, spaces may precede the
first column value. This option also causes <option>-formatDates</option>
to render dates in terser format without embedded whitespace.
</para>
</listitem>
</varlistentry>
<varlistentry>
<term><option>-summary</option></term>
<listitem>
<para>
Output will be only a terse summary of changes over the last ten entries.
(The output format is subject to change.)
</para>
</listitem>
</varlistentry>
<!--
<varlistentry>
<term><option></option></term>
<listitem>
<para>
</para>
</listitem>
</varlistentry>
-->
</variablelist>
<para>The table is a tab-separated (barring <option>-noTabs</option>) table with the following columns:</para>
<table id="mineBugHistoryColumns">
<title>Columns in mineBugHistory output</title>
<tgroup cols="2" align="left">
<thead>
<row>
<entry>Title</entry>
<entry>Meaning</entry>
</row>
</thead>
<tbody>
<row><entry>seq</entry><entry>Sequence number (successive integers, starting at 0)</entry></row>
<row><entry>version</entry><entry>Version name</entry></row>
<row><entry>time</entry><entry>Release timestamp</entry></row>
<row><entry>classes</entry><entry>Number of classes analyzed</entry></row>
<row><entry>NCSS</entry><entry>Non Commenting Source Statements</entry></row>
<row><entry>added</entry><entry>Count of new warnings for a class that existed in the previous version</entry></row>
<row><entry>newCode</entry><entry>Count of new warnings for a class that did not exist in the previous version</entry></row>
<row><entry>fixed</entry><entry>Count of warnings removed from a class that remains in the current version</entry></row>
<row><entry>removed</entry><entry>Count of warnings in the previous version for a class that is not present in the current version</entry></row>
<row><entry>retained</entry><entry>Count of warnings that were in both the previous and current version</entry></row>
<row><entry>dead</entry><entry>Warnings that were present in earlier versions but in neither the current version or the immediately preceeding version</entry></row>
<row><entry>active</entry><entry>Total warnings present in the current version</entry></row>
</tbody>
</tgroup>
</table>
</sect2>
<sect2 id="defectDensity">
<title>defectDensity</title>
<para>
This command lists information about defect density (warnings per 1000 NCSS) for the entire project and each class and package.
In can either be invoked with no files specified on the command line (in which case it reads from standard input)
or with one file specified on the command line.</para>
<para>It generates a table with the following columns, and with one
row for the entire project, and one row for each package or class that contains at least
4 warnings.</para>
<table id="defectDensityColumns">
<title>Columns in defectDensity output</title>
<tgroup cols="2" align="left">
<thead>
<row>
<entry>Title</entry>
<entry>Meaning</entry>
</row>
</thead>
<tbody>
<row><entry>kind</entry><entry>project, package or class</entry></row>
<row><entry>name</entry><entry>The name of the project, package or class</entry></row>
<row><entry>density</entry><entry>Number of warnings generated per 1000 lines of NCSS.</entry></row>
<row><entry>bugs</entry><entry>Number of warnings</entry></row>
<row><entry>NCSS</entry><entry>Calculated number of NCSS</entry></row>
</tbody>
</tgroup>
</table>
</sect2>
<sect2 id="convertXmlToText">
<title>convertXmlToText</title>
<para>
This command converts a warning collection in XML format to a text
format with one line per warning, or to HTML.
</para>
<para>The options are:</para>
<variablelist>
<varlistentry>
<term><option>-longBugCodes</option></term>
<listitem>
<para>
use the full bug pattern code instead of the two-letter abbreviation
</para>
</listitem>
</varlistentry>
<varlistentry>
<term><option>-html</option><replaceable>[:stylesheet]</replaceable></term>
<listitem>
<para>
Generate html output with the specified stylesheet,
or default.xsl if no stylesheet is specified.
</para>
<para>
You may specify plain.xsl, default.xsl, fancy.xsl, fancy-hist.xsl,
or your own XSL stylesheet.
Despite the name of this option, you may specify
a stylesheet that emits something other than html.
</para>
</listitem>
</varlistentry>
</variablelist>
</sect2>
<sect2 id="setBugDatabaseInfo">
<title>setBugDatabaseInfo</title>
<para>
This command sets meta-information in a specified warning collection.
It takes the following options:
</para>
<table id="setBugDatabaseInfoOptions">
<title>setBugDatabaseInfo Options</title>
<tgroup cols="2" align="left">
<thead>
<row>
<entry>Option</entry>
<entry>Meaning</entry>
</row>
</thead>
<tbody>
<row><entry>-name <replaceable>name</replaceable></entry><entry>set name for (last) revision</entry></row>
<row><entry>-timestamp <replaceable>when</replaceable></entry><entry>set timestamp for (last) revision</entry></row>
<row><entry>-source <replaceable>directory</replaceable></entry><entry>add specified directory to the source search path</entry></row>
<row><entry>-findSource <replaceable>directory</replaceable></entry><entry>find and add all relevant source directions contained within specified directory</entry></row>
</tbody>
</tgroup>
</table>
</sect2>
<sect2 id="listBugDatabaseInfo">
<title>listBugDatabaseInfo</title>
<para>This command takes a list of zero or more xml bug database filenames on the command line.
If zero file names are provided, it reads from standard input and does not generate
a table header.</para>
<para>There is only one option: <option>-formatDates</option> renders dates
in textual form.
</para>
<para>The output is a table one row per bug database and the following columns:</para>
<table id="listBugDatabaseInfoColumns">
<title>listBugDatabaseInfo Columns</title>
<tgroup cols="2" align="left">
<thead>
<row>
<entry>Column</entry>
<entry>Meaning</entry>
</row>
</thead>
<tbody>
<row><entry>version</entry><entry>version name</entry></row>
<row><entry>time</entry><entry>Release timestamp</entry></row>
<row><entry>classes</entry><entry>Number of classes analyzed</entry></row>
<row><entry>NCSS</entry><entry>Non Commenting Source Statements analyzed</entry></row>
<row><entry>total</entry><entry>Total number of warnings of all kinds</entry></row>
<row><entry>high</entry><entry>Total number of high priority warnings of all kinds</entry></row>
<row><entry>medium</entry><entry>Total number of medium/normal priority warnings of all kinds</entry></row>
<row><entry>low</entry><entry>Total number of low priority warnings of all kinds</entry></row>
<row><entry>filename</entry><entry>filename of database</entry></row>
<!--
<row><entry></entry><entry></entry></row>
<row><entry></entry><entry></entry></row>
<row><entry></entry><entry></entry></row>
<row><entry></entry><entry></entry></row>
<row><entry></entry><entry></entry></row>
<row><entry></entry><entry></entry></row>
-->
</tbody>
</tgroup>
</table>
</sect2>
</sect1>
<sect1 id="examples">
<title>Examples</title>
<sect2 id="unixscriptsexemples">
<title>Mining history using proveded shell scrips</title>
<para>In all of the following, the commands are given in a directory that contains
directories jdk1.6.0-b12, jdk1.6.0-b13, ..., jdk1.6.0-b60.</para>
<para>You can use the command:</para>
<screen>
computeBugHistory jdk1.6.0-b* | filterBugs -bugPattern IL_ | mineBugHistory -formatDates
</screen>
<para>to generate the following output:</para>
<screen>
seq version time classes NCSS added newCode fixed removed retained dead active
0 jdk1.6.0-b12 "Thu Nov 11 09:07:20 EST 2004" 13128 811569 0 4 0 0 0 0 4
1 jdk1.6.0-b13 "Thu Nov 18 06:02:06 EST 2004" 13128 811570 0 0 0 0 4 0 4
2 jdk1.6.0-b14 "Thu Dec 02 06:12:26 EST 2004" 13145 811786 0 0 2 0 2 0 2
3 jdk1.6.0-b15 "Thu Dec 09 06:07:04 EST 2004" 13174 811693 0 0 1 0 1 2 1
4 jdk1.6.0-b16 "Thu Dec 16 06:21:28 EST 2004" 13175 811715 0 0 0 0 1 3 1
5 jdk1.6.0-b17 "Thu Dec 23 06:27:22 EST 2004" 13176 811974 0 0 0 0 1 3 1
6 jdk1.6.0-b19 "Thu Jan 13 06:41:16 EST 2005" 13176 812011 0 0 0 0 1 3 1
7 jdk1.6.0-b21 "Thu Jan 27 05:57:52 EST 2005" 13177 812173 0 0 0 0 1 3 1
8 jdk1.6.0-b23 "Thu Feb 10 05:44:36 EST 2005" 13179 812188 0 0 0 0 1 3 1
9 jdk1.6.0-b26 "Thu Mar 03 06:04:02 EST 2005" 13199 811770 0 0 0 0 1 3 1
10 jdk1.6.0-b27 "Thu Mar 10 04:48:38 EST 2005" 13189 812440 0 0 0 0 1 3 1
11 jdk1.6.0-b28 "Thu Mar 17 02:54:22 EST 2005" 13185 812056 0 0 0 0 1 3 1
12 jdk1.6.0-b29 "Thu Mar 24 03:09:20 EST 2005" 13117 809468 0 0 0 0 1 3 1
13 jdk1.6.0-b30 "Thu Mar 31 02:53:32 EST 2005" 13118 809501 0 0 0 0 1 3 1
14 jdk1.6.0-b31 "Thu Apr 07 03:00:14 EDT 2005" 13117 809572 0 0 0 0 1 3 1
15 jdk1.6.0-b32 "Thu Apr 14 02:56:56 EDT 2005" 13169 811096 0 0 0 0 1 3 1
16 jdk1.6.0-b33 "Thu Apr 21 02:46:22 EDT 2005" 13187 811942 0 0 0 0 1 3 1
17 jdk1.6.0-b34 "Thu Apr 28 02:49:00 EDT 2005" 13195 813488 0 1 0 0 1 3 2
18 jdk1.6.0-b35 "Thu May 05 02:49:04 EDT 2005" 13457 829837 0 0 0 0 2 3 2
19 jdk1.6.0-b36 "Thu May 12 02:59:46 EDT 2005" 13462 831278 0 0 0 0 2 3 2
20 jdk1.6.0-b37 "Thu May 19 02:55:08 EDT 2005" 13464 831971 0 0 0 0 2 3 2
21 jdk1.6.0-b38 "Thu May 26 03:08:16 EDT 2005" 13564 836565 0 0 0 0 2 3 2
22 jdk1.6.0-b39 "Fri Jun 03 03:10:48 EDT 2005" 13856 849992 0 1 0 0 2 3 3
23 jdk1.6.0-b40 "Thu Jun 09 03:30:28 EDT 2005" 15972 959619 0 2 0 0 3 3 5
24 jdk1.6.0-b41 "Thu Jun 16 03:19:22 EDT 2005" 15972 959619 0 0 0 0 5 3 5
25 jdk1.6.0-b42 "Fri Jun 24 03:38:54 EDT 2005" 15966 958581 0 0 0 0 5 3 5
26 jdk1.6.0-b43 "Thu Jul 14 03:09:34 EDT 2005" 16041 960544 0 0 0 0 5 3 5
27 jdk1.6.0-b44 "Thu Jul 21 03:05:54 EDT 2005" 16041 960547 0 0 0 0 5 3 5
28 jdk1.6.0-b45 "Thu Jul 28 03:26:10 EDT 2005" 16037 960606 0 0 1 0 4 3 4
29 jdk1.6.0-b46 "Thu Aug 04 03:02:48 EDT 2005" 15936 951355 0 0 0 0 4 4 4
30 jdk1.6.0-b47 "Thu Aug 11 03:18:56 EDT 2005" 15964 952387 0 0 1 0 3 4 3
31 jdk1.6.0-b48 "Thu Aug 18 08:10:40 EDT 2005" 15970 953421 0 0 0 0 3 5 3
32 jdk1.6.0-b49 "Thu Aug 25 03:24:38 EDT 2005" 16048 958940 0 0 0 0 3 5 3
33 jdk1.6.0-b50 "Thu Sep 01 01:52:40 EDT 2005" 16287 974937 1 0 0 0 3 5 4
34 jdk1.6.0-b51 "Thu Sep 08 01:55:36 EDT 2005" 16362 979377 0 0 0 0 4 5 4
35 jdk1.6.0-b52 "Thu Sep 15 02:04:08 EDT 2005" 16477 979399 0 0 0 0 4 5 4
36 jdk1.6.0-b53 "Thu Sep 22 02:00:28 EDT 2005" 16019 957900 0 0 1 0 3 5 3
37 jdk1.6.0-b54 "Thu Sep 29 01:54:34 EDT 2005" 16019 957900 0 0 0 0 3 6 3
38 jdk1.6.0-b55 "Thu Oct 06 01:54:14 EDT 2005" 16051 959014 0 0 0 0 3 6 3
39 jdk1.6.0-b56 "Thu Oct 13 01:54:12 EDT 2005" 16211 970835 0 0 0 0 3 6 3
40 jdk1.6.0-b57 "Thu Oct 20 01:55:26 EDT 2005" 16279 971627 0 0 0 0 3 6 3
41 jdk1.6.0-b58 "Thu Oct 27 01:56:30 EDT 2005" 16283 971945 0 0 0 0 3 6 3
42 jdk1.6.0-b59 "Thu Nov 03 01:56:58 EST 2005" 16232 972193 0 0 0 0 3 6 3
43 jdk1.6.0-b60 "Thu Nov 10 01:54:18 EST 2005" 16235 972346 0 0 0 0 3 6 3
</screen>
<para>
We could also generate that information directly, without creating an intermediate db.xml file, using the command
</para>
<screen>
computeBugHistory jdk1.6.0-b*/jre/lib/rt.xml | filterBugs -bugPattern IL_ db.xml | mineBugHistory -formatDates
</screen>
<para>We can then use that information to display a graph showing the number of infinite recursive loops
found by FindBugs in each build of Sun's JDK1.6.0. The blue area indicates the number of infinite
recursive loops in that build, the red area above it indicates the number of infinite recursive loops that existed
in some previous version but not in the current version (thus, the combined height of the red and blue areas
is guaranteed to never decrease, and goes up whenever a new infinite recursive loop bug is introduced). The height
of the red area is computed as the sum of the fixed, removed and dead values for each version.
The reductions in builds 13 and 14 came after Sun was notified about the bugs found by FindBugs in the JDK.
</para>
<mediaobject>
<imageobject>
<imagedata fileref="infiniteRecursiveLoops.png" />
</imageobject>
</mediaobject>
<para>
Given the db.xml file that contains the results for all the jdk1.6.0 builds, the following command will show the history of high and medium priority correctness warnings:
</para>
<screen>
filterBugs -priority M -category C db.xml | mineBugHistory -formatDates
</screen>
<para>
generating the table:
</para>
<screen>
seq version time classes NCSS added newCode fixed removed retained dead active
0 jdk1.6.0-b12 "Thu Nov 11 09:07:20 EST 2004" 13128 811569 0 1075 0 0 0 0 1075
1 jdk1.6.0-b13 "Thu Nov 18 06:02:06 EST 2004" 13128 811570 0 0 0 0 1075 0 1075
2 jdk1.6.0-b14 "Thu Dec 02 06:12:26 EST 2004" 13145 811786 3 0 6 0 1069 0 1072
3 jdk1.6.0-b15 "Thu Dec 09 06:07:04 EST 2004" 13174 811693 2 1 3 0 1069 6 1072
4 jdk1.6.0-b16 "Thu Dec 16 06:21:28 EST 2004" 13175 811715 0 0 1 0 1071 9 1071
5 jdk1.6.0-b17 "Thu Dec 23 06:27:22 EST 2004" 13176 811974 0 0 1 0 1070 10 1070
6 jdk1.6.0-b19 "Thu Jan 13 06:41:16 EST 2005" 13176 812011 0 0 0 0 1070 11 1070
7 jdk1.6.0-b21 "Thu Jan 27 05:57:52 EST 2005" 13177 812173 0 0 1 0 1069 11 1069
8 jdk1.6.0-b23 "Thu Feb 10 05:44:36 EST 2005" 13179 812188 0 0 0 0 1069 12 1069
9 jdk1.6.0-b26 "Thu Mar 03 06:04:02 EST 2005" 13199 811770 0 0 2 1 1066 12 1066
10 jdk1.6.0-b27 "Thu Mar 10 04:48:38 EST 2005" 13189 812440 1 0 1 1 1064 15 1065
11 jdk1.6.0-b28 "Thu Mar 17 02:54:22 EST 2005" 13185 812056 0 0 0 0 1065 17 1065
12 jdk1.6.0-b29 "Thu Mar 24 03:09:20 EST 2005" 13117 809468 3 0 8 26 1031 17 1034
13 jdk1.6.0-b30 "Thu Mar 31 02:53:32 EST 2005" 13118 809501 0 0 0 0 1034 51 1034
14 jdk1.6.0-b31 "Thu Apr 07 03:00:14 EDT 2005" 13117 809572 0 0 0 0 1034 51 1034
15 jdk1.6.0-b32 "Thu Apr 14 02:56:56 EDT 2005" 13169 811096 1 1 0 1 1033 51 1035
16 jdk1.6.0-b33 "Thu Apr 21 02:46:22 EDT 2005" 13187 811942 3 0 2 1 1032 52 1035
17 jdk1.6.0-b34 "Thu Apr 28 02:49:00 EDT 2005" 13195 813488 0 1 0 0 1035 55 1036
18 jdk1.6.0-b35 "Thu May 05 02:49:04 EDT 2005" 13457 829837 0 36 2 0 1034 55 1070
19 jdk1.6.0-b36 "Thu May 12 02:59:46 EDT 2005" 13462 831278 0 0 0 0 1070 57 1070
20 jdk1.6.0-b37 "Thu May 19 02:55:08 EDT 2005" 13464 831971 0 1 1 0 1069 57 1070
21 jdk1.6.0-b38 "Thu May 26 03:08:16 EDT 2005" 13564 836565 1 7 2 6 1062 58 1070
22 jdk1.6.0-b39 "Fri Jun 03 03:10:48 EDT 2005" 13856 849992 6 39 5 0 1065 66 1110
23 jdk1.6.0-b40 "Thu Jun 09 03:30:28 EDT 2005" 15972 959619 7 147 11 0 1099 71 1253
24 jdk1.6.0-b41 "Thu Jun 16 03:19:22 EDT 2005" 15972 959619 0 0 0 0 1253 82 1253
25 jdk1.6.0-b42 "Fri Jun 24 03:38:54 EDT 2005" 15966 958581 3 0 1 2 1250 82 1253
26 jdk1.6.0-b43 "Thu Jul 14 03:09:34 EDT 2005" 16041 960544 5 11 15 8 1230 85 1246
27 jdk1.6.0-b44 "Thu Jul 21 03:05:54 EDT 2005" 16041 960547 0 0 0 0 1246 108 1246
28 jdk1.6.0-b45 "Thu Jul 28 03:26:10 EDT 2005" 16037 960606 19 0 2 0 1244 108 1263
29 jdk1.6.0-b46 "Thu Aug 04 03:02:48 EDT 2005" 15936 951355 13 1 1 32 1230 110 1244
30 jdk1.6.0-b47 "Thu Aug 11 03:18:56 EDT 2005" 15964 952387 163 8 7 20 1217 143 1388
31 jdk1.6.0-b48 "Thu Aug 18 08:10:40 EDT 2005" 15970 953421 0 0 0 0 1388 170 1388
32 jdk1.6.0-b49 "Thu Aug 25 03:24:38 EDT 2005" 16048 958940 1 11 1 0 1387 170 1399
33 jdk1.6.0-b50 "Thu Sep 01 01:52:40 EDT 2005" 16287 974937 19 27 16 7 1376 171 1422
34 jdk1.6.0-b51 "Thu Sep 08 01:55:36 EDT 2005" 16362 979377 1 15 3 0 1419 194 1435
35 jdk1.6.0-b52 "Thu Sep 15 02:04:08 EDT 2005" 16477 979399 0 0 1 1 1433 197 1433
36 jdk1.6.0-b53 "Thu Sep 22 02:00:28 EDT 2005" 16019 957900 13 12 16 20 1397 199 1422
37 jdk1.6.0-b54 "Thu Sep 29 01:54:34 EDT 2005" 16019 957900 0 0 0 0 1422 235 1422
38 jdk1.6.0-b55 "Thu Oct 06 01:54:14 EDT 2005" 16051 959014 1 4 7 0 1415 235 1420
39 jdk1.6.0-b56 "Thu Oct 13 01:54:12 EDT 2005" 16211 970835 6 8 37 0 1383 242 1397
40 jdk1.6.0-b57 "Thu Oct 20 01:55:26 EDT 2005" 16279 971627 0 0 0 0 1397 279 1397
41 jdk1.6.0-b58 "Thu Oct 27 01:56:30 EDT 2005" 16283 971945 0 1 1 0 1396 279 1397
42 jdk1.6.0-b59 "Thu Nov 03 01:56:58 EST 2005" 16232 972193 6 0 5 0 1392 280 1398
43 jdk1.6.0-b60 "Thu Nov 10 01:54:18 EST 2005" 16235 972346 0 0 0 0 1398 285 1398
44 jdk1.6.0-b61 "Thu Nov 17 01:58:42 EST 2005" 16202 971134 2 0 4 0 1394 285 1396
</screen>
</sect2>
<sect2 id="incrementalhistory">
<title>Incremental history maintenance</title>
<para>
If db.xml contains the results of running findbugs over builds b12 - b60, we can update db.xml to include the results of analyzing b61 with the commands:
</para>
<screen>
computeBugHistory -output db.xml db.xml jdk1.6.0-b61/jre/lib/rt.xml
</screen>
</sect2>
</sect1>
<sect1 id="antexemple">
<title>Ant exemple</title>
<para>
Here is a complete ant script exemple for both running findbugs and generating an HTML report of bugs history using fancy-hist.xsl.
</para>
<screen>
<?xml version="1.0" encoding="UTF-8"?>
<project basedir="." default="findbugs" name="findbugs">
<property name="findbugs.home" value="d:/dev/findbugs" />
<property name="jvmargs" value="-server -Xss1m -Xmx800m -Duser.language=en -Duser.region=EN -Dfindbugs.home=${findbugs.home}" />
<!-- findbugs task definition -->
<path id="findbugs.lib">
<fileset dir="${findbugs.home}/lib">
<include name="findbugs-ant.jar"/>
</fileset>
</path>
<taskdef name="findbugs" classname="edu.umd.cs.findbugs.anttask.FindBugsTask">
<classpath refid="findbugs.lib" />
</taskdef>
<!-- run findbugs against -->
<target name="findbugs">
<!-- use current date & time as release name -->
<tstamp>
<format property="release" pattern="yyyy-MM-dd_HH.mm.ss"/>
</tstamp>
<mkdir dir="temp" />
<antcall target="analyze" />
<antcall target="mine" />
</target>
<!-- analyze task -->
<target name="analyze">
<!-- run findbugs against itself -->
<findbugs home="${findbugs.home}"
output="xml:withMessages"
timeout="90000000"
reportLevel="experimental"
workHard="true"
effort="max"
adjustExperimental="true"
jvmargs="${jvmargs}"
failOnError="true"
outputFile="temp/findbugs-${release}.xml"
projectName="Findbugs"
debug="false"
>
<class location="${findbugs.home}/lib/findbugs-ant.jar" />
<class location="${findbugs.home}/lib/findbugs.jar" />
<class location="${findbugs.home}/lib/findbugsGUI.jar" />
<class location="${findbugs.home}/plugin/coreplugin.jar" />
<auxClasspath>
<fileset file="${findbugs.home}/lib/AppleJavaExtensions.jar"/>
<fileset file="${findbugs.home}/lib/bcel.jar"/>
<fileset file="${findbugs.home}/lib/dom4j-full.jar"/>
<fileset file="${findbugs.home}/lib/junit.jar"/>
<fileset file="${ant.home}/lib/ant.jar"/>
</auxClasspath>
</findbugs>
<!-- generate a non historized report -->
<xslt destdir="."
in="temp/findbugs-${release}.xml"
out="findbugs-${release}.html"
style="./fancy.xsl"
/>
</target>
<target name="mine">
<!-- Set release info to the latest analysis -->
<java classname="edu.umd.cs.findbugs.workflow.SetBugDatabaseInfo" fork="true">
<jvmarg line="${jvmargs}"/>
<arg line="-withMessages -name ${release} temp/findbugs-${release}.xml temp/findbugs-${release}-rel.xml"/>
<classpath>
<pathelement path="${findbugs.home}/lib/findbugs.jar"/>
</classpath>
</java>
<!-- Checking if history file already exists (findbugs-hist.xml) -->
<condition property="mining.historyfile.available">
<available file="findbugs-hist.xml"/>
</condition>
<condition property="mining.historyfile.notavailable">
<not>
<available file="findbugs-hist.xml"/>
</not>
</condition>
<!-- this target is executed if the history file do not exist (first run) -->
<antcall target="history-init">
<param name="data.file" value="temp/findbugs-${release}-rel.xml" />
<param name="hist.file" value="findbugs-hist.xml" />
</antcall>
<!-- else this one is executed -->
<antcall target="history">
<param name="data.file" value="temp/findbugs-${release}-rel.xml" />
<param name="hist.file" value="findbugs-hist.xml" />
<param name="hist.summary.file" value="findbugs-hist.txt" />
</antcall>
</target>
<!-- Initializing history file -->
<target name="history-init" if="mining.historyfile.notavailable">
<copy file="${data.file}" tofile="${hist.file}" />
</target>
<!-- Computing bug history -->
<target name="history" if="mining.historyfile.available">
<!-- Merging ${data.file} into ${hist.file} -->
<java classname="edu.umd.cs.findbugs.workflow.Update" fork="true">
<jvmarg line="${jvmargs}"/>
<arg line="-withMessages -output ${hist.file} ${hist.file} ${data.file}"/>
<classpath>
<pathelement path="${findbugs.home}/lib/findbugs.jar"/>
</classpath>
</java>
<!-- Compute history into ${hist.summary.file} -->
<java classname="edu.umd.cs.findbugs.workflow.MineBugHistory" fork="true">
<jvmarg line="${jvmargs}"/>
<arg line="-formatDates -noTabs ${hist.file} ${hist.summary.file}"/>
<classpath>
<pathelement path="${findbugs.home}/lib/findbugs.jar"/>
</classpath>
</java>
<!-- Generate HTML report -->
<xslt destdir="."
in="${hist.file}"
out="${hist.file}.html"
>
<style>
<zipentry zipfile='d:/dev/findbugs/lib/findbugs.jar' name='fancy-hist.xsl' />
</style>
</xslt>
</target>
</project>
</screen>
</sect1>
</chapter>
<!--
**************************************************************************
License
**************************************************************************
-->
<chapter id="license">
<title>License</title>
<para>
The name FindBugs and the FindBugs logo is trademarked by the University
of Maryland.
FindBugs is free software distributed under the terms of the
<ulink url="http://www.gnu.org/licenses/lgpl.html">Lesser GNU Public License</ulink>.
You should have received a copy of the license in the file <filename>LICENSE.txt</filename>
in the &FindBugs; distribution.
</para>
<para>
You can find the latest version of FindBugs, along with its source code, from the
<ulink url="http://findbugs.sourceforge.net">FindBugs web page</ulink>.
</para>
</chapter>
<!--
**************************************************************************
Acknowledgments
**************************************************************************
-->
<chapter id="acknowledgments">
<title>Acknowledgments</title>
<sect1>
<title>Contributors</title>
<para>&FindBugs; was originally written by Bill Pugh (<email>pugh@cs.umd.edu</email>).
David Hovemeyer (<email>daveho@cs.umd.edu</email>) implemented some of the
detectors, added the Swing GUI, and is a co-maintainer.</para>
<para>Mike Fagan (<email>mfagan@tde.com</email>) contributed the &Ant; build script,
the &Ant; task, and several enhancements and bug fixes to the GUI.</para>
<para>Germano Leichsenring contributed Japanese translations of the bug
summaries.</para>
<para>David Li contributed the Emacs bug report format.</para>
<para>Peter D. Stout contributed recursive detection of Class-Path
attributes in analyzed Jar files, German translations of
text used in the Swing GUI, and other fixes.</para>
<para>Peter Friese wrote the &FindBugs; Eclipse plugin.</para>
<para>Rohan Lloyd contributed several Mac OS X enhancements,
bug detector improvements,
and maintains the Fink package for &FindBugs;.</para>
<para>Hiroshi Okugawa translated the &FindBugs; manual and
more of the bug summaries into Japanese.</para>
<para>Phil Crosby enhanced the Eclipse plugin to add a view
to display the bug details.</para>
<para>Dave Brosius fixed a number of bugs, added user preferences
to the Swing GUI, improved several bug detectors, and
contributed the string concatenation detector.</para>
<para>Thomas Klaeger contributed a number of bug fixes and
bug detector improvements.</para>
<para>Andrei Loskutov made a number of improvements to the
Eclipse plugin.</para>
<para>Brian Goetz contributed a major refactoring of the
visitor classes to improve readability and understandability.</para>
<para> Pete Angstadt fixed several problems in the Swing GUI.</para>
<para>Francis Lalonde provided a task resource file for the
FindBugs Ant task.</para>
<para>Garvin LeClaire contributed support for output in
Xdocs format, for use by Maven.</para>
<para>Holger Stenzhorn contributed improved German translations of items
in the Swing GUI.</para>
<para>Juha Knuutila contributed Finnish translations of items
in the Swing GUI.</para>
<para>Tanel Lebedev contributed Estonian translations of items
in the Swing GUI.</para>
<para>Hanai Shisei (ruimo) contributed full Japanese translations of
bug messages, and text used in the Swing GUI.</para>
<para>David Cotton contributed Fresh translations for bug
messages and for the Swing GUI.</para>
<para>Michael Tamm contributed support for the "errorProperty" attribute
in the Ant task.</para>
<para>Thomas Kuehne improved the German translation of the Swing GUI.</para>
<para>Len Trigg improved source file support for the Emacs output mode.</para>
<para>Greg Bentz provided a fix for the hashcode/equals detector.</para>
<para>K. Hashimoto contributed internationalization fixes and several other
bug fixes.</para>
<para>
Glenn Boysko contributed support for ignoring specified local
variables in the dead local store detector.
</para>
<para>
Jay Dunning contributed a detector to find equality comparisons
of floating-point values, and overhauled the analysis summary
report and its representation in the saved XML format.
</para>
<para>
Olivier Parent contributed updated French translations for bug descriptions and
Swing GUI.
</para>
<para>
Chris Nappin contributed the <filename>plain.xsl</filename>
stylesheet.
</para>
<para>
Etienne Giraudy contributed the <filename>fancy.xsl</filename> and <filename>fancy-hist.xsl</filename>
stylesheets, and made improvements to the <command>-xml:withMessages</command>
option.
</para>
<para>
Takashi Okamoto fixed bugs in the project preferences dialog
in the Eclipse plugin, and contributed to its internationalization and localization.
</para>
<para>Thomas Einwaller fixed bugs in the project preferences dialog in the Eclipse plugin.</para>
<para>Jeff Knox contributed support for the warningsProperty attribute
in the Ant task.</para>
<para>Peter Hendriks extended the Eclipse plugin preferences,
and fixed a bug related to renaming the Eclipse plugin ID.</para>
<para>Mark McKay contributed an Ant task to launch the findbugs frame.</para>
<para>Dieter von Holten (dvholten) contributed
some German improvements to findbugs_de.properties.</para>
<para>If you have contributed to &FindBugs;, but aren't mentioned above,
please send email to <email>findbugs@cs.umd.edu</email> (and also accept
our humble apologies).</para>
</sect1>
<sect1>
<title>Software Used</title>
<para>&FindBugs; uses several open-source software packages, without which its
development would have been much more difficult.</para>
<sect2>
<title>BCEL</title>
<para>&FindBugs; includes software developed by the Apache Software Foundation
(<ulink url="http://www.apache.org/">http://www.apache.org/</ulink>).
Specifically, it uses the <ulink url="http://jakarta.apache.org/bcel/">Byte Code
Engineering Library</ulink>.</para>
</sect2>
<sect2>
<title>ASM</title>
<para>&FindBugs; uses the <ulink url="http://asm.objectweb.org/">ASM</ulink>
bytecode framework, which is distributed under the following license:</para>
<blockquote>
<para>
Copyright (c) 2000-2005 INRIA, France Telecom
All rights reserved.
</para>
<para>
Redistribution and use in source and binary forms, with or without
modification, are permitted provided that the following conditions
are met:
</para>
<orderedlist numeration="arabic">
<listitem><para>
Redistributions of source code must retain the above copyright
notice, this list of conditions and the following disclaimer.
</para></listitem>
<listitem><para>
Redistributions in binary form must reproduce the above copyright
notice, this list of conditions and the following disclaimer in the
documentation and/or other materials provided with the distribution.
</para></listitem>
<listitem><para>
Neither the name of the copyright holders nor the names of its
contributors may be used to endorse or promote products derived from
this software without specific prior written permission.
</para></listitem>
</orderedlist>
<para>
THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS"
AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS BE
LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF
THE POSSIBILITY OF SUCH DAMAGE.
</para>
</blockquote>
</sect2>
<sect2>
<title>DOM4J</title>
<para>&FindBugs; uses <ulink url="http://dom4j.org">DOM4J</ulink>, which is
distributed under the following license:</para>
<blockquote>
<para>
Copyright 2001 (C) MetaStuff, Ltd. All Rights Reserved.
</para>
<para>
Redistribution and use of this software and associated documentation
("Software"), with or without modification, are permitted provided that
the following conditions are met:
</para>
<orderedlist numeration="arabic">
<listitem><para>
Redistributions of source code must retain copyright statements and
notices. Redistributions must also contain a copy of this document.
</para></listitem>
<listitem><para>
Redistributions in binary form must reproduce the above copyright
notice, this list of conditions and the following disclaimer in the
documentation and/or other materials provided with the distribution.
</para></listitem>
<listitem><para>
The name "DOM4J" must not be used to endorse or promote products
derived from this Software without prior written permission
of MetaStuff, Ltd. For written permission, please contact
<email>dom4j-info@metastuff.com</email>.
</para></listitem>
<listitem><para>
Products derived from this Software may not be called "DOM4J" nor may
"DOM4J" appear in their names without prior written permission of
MetaStuff, Ltd. DOM4J is a registered trademark of MetaStuff, Ltd.
</para></listitem>
<listitem><para>
Due credit should be given to the DOM4J Project (<ulink url="http://dom4j.org/">http://dom4j.org/</ulink>).
</para></listitem>
</orderedlist>
<para>
THIS SOFTWARE IS PROVIDED BY METASTUFF, LTD. AND CONTRIBUTORS ``AS IS''
AND ANY EXPRESSED OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO,
THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL METASTUFF, LTD. OR ITS
CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL,
EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO,
PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR
PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF
LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING
NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS
SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
</para>
</blockquote>
</sect2>
</sect1>
</chapter>
</book>
distrib
>
Mandriva
>
2008.1
>
x86_64
>
media
>
contrib-release
>
by-pkgid
>
95f5ae0ce06780fd3cab0be9375c9914
>
files
>
35
