| Package | Description | 
|---|---|
| edu.umd.cs.findbugs | 
  Main package for the FindBugs application - contains the
engine class (FindBugs), the object model classes for bug instances
(BugInstance, BugAnnotation), and other miscellany. 
 | 
| edu.umd.cs.findbugs.ba | 
  A bytecode analysis framework for BCEL, providing CFG construction,
generic dataflow analysis, and a variety of specific dataflow analyses. 
 | 
| edu.umd.cs.findbugs.ba.ca | |
| edu.umd.cs.findbugs.ba.constant | |
| edu.umd.cs.findbugs.ba.deref | |
| edu.umd.cs.findbugs.ba.heap | |
| edu.umd.cs.findbugs.ba.jsr305 | 
 Support for analyzing code containing JSR-305 type qualifier annotations. 
 | 
| edu.umd.cs.findbugs.ba.npe | |
| edu.umd.cs.findbugs.ba.obl | 
 
                        Implementation of dataflow analysis for checking whether
                        obligations to close streams and other resources (e.g. 
 | 
| edu.umd.cs.findbugs.ba.type | |
| edu.umd.cs.findbugs.ba.vna | |
| edu.umd.cs.findbugs.detect | 
| Modifier and Type | Method and Description | 
|---|---|
abstract void | 
ResourceTrackingDetector.inspectResult(ClassContext classContext,
             org.apache.bcel.generic.MethodGen methodGen,
             CFG cfg,
             Dataflow<ResourceValueFrame,ResourceValueAnalysis<Resource>> dataflow,
             Resource resource)  | 
| Modifier and Type | Class and Description | 
|---|---|
class  | 
AbstractDataflow<Fact,AnalysisType extends BasicAbstractDataflowAnalysis<Fact>>
Convenience class for defining Dataflow classes which use a
 BasicAbstractDataflowAnalysis subtype. 
 | 
class  | 
BlockTypeDataflow  | 
class  | 
LiveLocalStoreDataflow
Dataflow class for LiveLocalStoreAnalysis. 
 | 
class  | 
LockDataflow
Dataflow class for LockAnalysis. 
 | 
class  | 
ReturnPathDataflow  | 
| Modifier and Type | Method and Description | 
|---|---|
static <Fact,AnalysisType extends BasicAbstractDataflowAnalysis<Fact>>  | 
DataflowCFGPrinter.printCFG(Dataflow<Fact,AnalysisType> dataflow,
        java.io.PrintStream out)
Print CFG annotated with results from given dataflow analysis. 
 | 
| Constructor and Description | 
|---|
DataflowCFGPrinter(Dataflow<Fact,AnalysisType> dataflow)
Constructor. 
 | 
| Modifier and Type | Class and Description | 
|---|---|
class  | 
CallListDataflow
Dataflow class for CallListAnalysis. 
 | 
| Modifier and Type | Class and Description | 
|---|---|
class  | 
ConstantDataflow
Dataflow class for ConstantAnalysis. 
 | 
| Modifier and Type | Class and Description | 
|---|---|
class  | 
UnconditionalValueDerefDataflow
Dataflow to find value numbers unconditionally dereferenced. 
 | 
| Modifier and Type | Class and Description | 
|---|---|
class  | 
LoadDataflow  | 
class  | 
StoreDataflow  | 
| Modifier and Type | Class and Description | 
|---|---|
class  | 
BackwardTypeQualifierDataflow
Dataflow class for BackwardTypeQualifierDataflowAnalysis. 
 | 
class  | 
ForwardTypeQualifierDataflow
Dataflow object for ForwardTypeQualifierDataflowAnalysis. 
 | 
class  | 
TypeQualifierDataflow<AnalysisType extends TypeQualifierDataflowAnalysis>
Dataflow class for TypeQualifierDataflowAnalysis. 
 | 
| Modifier and Type | Class and Description | 
|---|---|
class  | 
IsNullValueDataflow  | 
class  | 
ReturnPathTypeDataflow
Dataflow class for ReturnPathTypeAnalysis. 
 | 
| Modifier and Type | Class and Description | 
|---|---|
class  | 
ObligationDataflow
Dataflow class for ObligationAnalysis. 
 | 
| Modifier and Type | Class and Description | 
|---|---|
class  | 
TypeDataflow  | 
| Modifier and Type | Class and Description | 
|---|---|
class  | 
ValueNumberDataflow  | 
| Modifier and Type | Method and Description | 
|---|---|
void | 
ValueNumberAnalysis.compactValueNumbers(Dataflow<ValueNumberFrame,ValueNumberAnalysis> dataflow)
Deprecated.  
 | 
| Modifier and Type | Method and Description | 
|---|---|
void | 
FindUnreleasedLock.inspectResult(ClassContext classContext,
             org.apache.bcel.generic.MethodGen methodGen,
             CFG cfg,
             Dataflow<ResourceValueFrame,ResourceValueAnalysis<edu.umd.cs.findbugs.detect.Lock>> dataflow,
             edu.umd.cs.findbugs.detect.Lock resource)  | 
void | 
FindOpenStream.inspectResult(ClassContext classContext,
             org.apache.bcel.generic.MethodGen methodGen,
             CFG cfg,
             Dataflow<ResourceValueFrame,ResourceValueAnalysis<Stream>> dataflow,
             Stream stream)  | 
FindBugs™ is licenced under the LGPL. Copyright © 2006 University of Maryland.