FindBugs™ 1.3.9

Uses of Package
edu.umd.cs.findbugs.ba

Packages that use edu.umd.cs.findbugs.ba
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.bcp   
edu.umd.cs.findbugs.ba.ca   
edu.umd.cs.findbugs.ba.ch   
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.npe2 This package is a rewrite of the null-pointer analysis to use sets of value numbers rather than frames. 
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.bcel   
edu.umd.cs.findbugs.classfile.analysis Classes of objects that are the result of executing an analysis engine on a class or method.  The classes in this particular package are those that are independent of any particular bytecode-analysis framework (e.g., BCEL or ASM).  Two important classes in this package are ClassData, which represents the raw data of a class, and ClassInfo, which represents symbolic information parsed from the class data. 
edu.umd.cs.findbugs.classfile.engine.bcel Support for analyses based on the BCEL bytecode framework
edu.umd.cs.findbugs.config   
edu.umd.cs.findbugs.detect   
edu.umd.cs.findbugs.gui   
edu.umd.cs.findbugs.props   
edu.umd.cs.findbugs.sourceViewer   
edu.umd.cs.findbugs.visitclass   
 

Classes in edu.umd.cs.findbugs.ba used by edu.umd.cs.findbugs
AnalysisFeatures.AnalysisFeature
           
BasicBlock
          Simple basic block abstraction for BCEL.
CFG
          Simple control flow graph abstraction for BCEL.
CFGBuilderException
           
ClassContext
          A ClassContext caches all of the auxiliary objects used to analyze the methods of a class.
Dataflow
          Perform dataflow analysis on a method using a control flow graph.
DataflowAnalysisException
          Exception type to indicate a dataflow analysis failure.
Debug
           
Edge
          An edge of a control flow graph.
JavaClassAndMethod
          A JavaClass and a Method belonging to the class.
Location
          A class representing a location in the CFG for a method.
RepositoryLookupFailureCallback
          An interface which Repository class lookup failures are reported to.
ResourceTracker
          A ResourceTracker is used with ResourceValueAnalysis to determine where in a method a certain kind of resource is created, and to model the effect of instructions on the state of that resource.
ResourceValueAnalysis
           
ResourceValueFrame
           
SourceFinder
          Class to open input streams on source files.
XClass
          Interface for object representing information about a class.
XField
          Abstract representation of a field.
XMethod
          An XMethod represents symbolic information about a particular method.
 

Classes in edu.umd.cs.findbugs.ba used by edu.umd.cs.findbugs.ba
AbstractBlockOrder
          Abstract base class for BlockOrder variants.
AbstractClassMember
           
AbstractDataflowAnalysis
          Abstract base class providing functionality that will be useful for most dataflow analysis implementations that model instructions within basic blocks.
AbstractDataflowTestDriver.Knob
           
AbstractDominatorsAnalysis
          A dataflow analysis to compute dominator relationships between basic blocks.
AbstractField
           
AbstractFrameModelingVisitor
          A common base class for frame modeling visitors.
AccessibleEntity
          Common superinterface for code entities having access flags: classes, fields, and methods.
AnalysisContext
          A context for analysis of a complete project.
AnalysisFeatures.AnalysisFeature
           
AnnotationDatabase
          Database to keep track of annotated fields/methods/classes/etc.
AnnotationDatabase.Target
           
AnnotationEnumeration
           
AnnotationRetentionDatabase
           
AssertionMethods
          Mark methodref constant pool entries of methods that are likely to implement assertions.
BackwardDataflowAnalysis
          Abstract base class for backward dataflow analyses.
BasicAbstractDataflowAnalysis
          A useful starting point for defining a dataflow analysis.
BasicBlock
          Simple basic block abstraction for BCEL.
BasicBlock.InstructionIterator
          A forward Iterator over the instructions of a basic block.
BlockOrder
          Specify an order for visiting basic blocks.
BlockType
          Dataflow value representing the current nesting of catch and finally blocks.
BlockTypeAnalysis
          Dataflow analysis to determine the nesting of catch and finally blocks within a method.
BlockTypeDataflow
           
BytecodeScanner.Callback
          Callback interface to report scanned instructions.
CFG
          Simple control flow graph abstraction for BCEL.
CFGBuilder
          Abstract interface for CFG builder classes.
CFGBuilderException
           
CFGPrinter
          Print out a representation of a control-flow graph.
CheckReturnAnnotationDatabase
           
CheckReturnValueAnnotation
           
ClassContext
          A ClassContext caches all of the auxiliary objects used to analyze the methods of a class.
ClassHash
          Compute a hash of method names and signatures.
ClassMember
          Common super-interface for class members (fields and methods).
ClassSummary
           
CompactLocationNumbering
          Compute a compact numbering of Locations in a CFG.
Dataflow
          Perform dataflow analysis on a method using a control flow graph.
DataflowAnalysis
          A dataflow analysis to be used with the Dataflow class.
DataflowAnalysisException
          Exception type to indicate a dataflow analysis failure.
DataflowValueChooser
          Predicate for dataflow values.
Debug
           
DepthFirstSearch
          Algorithm to perform a depth first search on a CFG.
DominatorsAnalysis
          Dataflow analysis to compute dominator sets for a CFG.
Edge
          An edge of a control flow graph.
EdgeChooser
          Interface for choosing CFG Edges.
EdgeTypes
          Constants defining the type of control flow edges, as well as flags defining additional information about the edges.
EqualsKindSummary
           
EqualsKindSummary.KindOfEquals
           
FieldSummary
          Interprocedural analysis summary
ForwardDataflowAnalysis
          Abstract base class for forward dataflow analyses.
Frame
          Generic class for representing a Java stack frame as a dataflow value.
FrameDataflowAnalysis
          A convenient base class for dataflow analysis classes which use Frames as values.
IncompatibleTypes
           
InnerClassAccess
           
InnerClassAccessMap
          Determine which methods are accessors used by inner classes to access fields in their enclosing classes.
INullnessAnnotationDatabase
          Interface for querying nullness annotations on methods, fields, and parameters.
JavaClassAndMethod
          A JavaClass and a Method belonging to the class.
JavaClassAndMethodChooser
          Deprecated. 
JCIPAnnotationDatabase
           
LiveLocalStoreAnalysis
          Dataflow analysis to find live stores of locals.
LiveLocalStoreDataflow
          Dataflow class for LiveLocalStoreAnalysis.
Location
          A class representing a location in the CFG for a method.
LockAnalysis
          Analysis to determine where particular values are locked in a method.
LockChecker
          Front-end for LockDataflow that can avoid doing unnecessary work (e.g., actually performing the lock dataflow) if the method analyzed does not contain explicit monitorenter/monitorexit instructions.
LockDataflow
          Dataflow class for LockAnalysis.
LockSet
          Lock counts for values (as produced by ValueNumberAnalysis).
MethodHash
          Compute a hash of the bytecode for given method.
NullnessAnnotation
           
Path
          A Path is a sequence of basic blocks.
PathVisitor
          Visit the BasicBlocks, InstructionHandles, and Edges along a Path.
PostDominatorsAnalysis
          Dataflow analysis to compute postdominator sets for a CFG.
RepositoryLookupFailureCallback
          An interface which Repository class lookup failures are reported to.
ResourceTracker
          A ResourceTracker is used with ResourceValueAnalysis to determine where in a method a certain kind of resource is created, and to model the effect of instructions on the state of that resource.
ResourceValue
           
ResourceValueFrame
           
ResourceValueFrameModelingVisitor
           
ReturnPath
           
ReturnPathAnalysis
           
ReturnPathDataflow
           
ReverseDepthFirstSearch
          Algorithm to perform a reverse depth first search on a CFG.
SignatureParser
          A simple class to parse method signatures.
SimplePathEnumerator
          Object to enumerate (some subset of) the simple paths in a CFG.
SourceFile
          Cached data for a source file.
SourceFileDataSource
          A data source which can produce a stream for a source file.
SourceFinder
          Class to open input streams on source files.
SourceInfoMap
          Global information about the source code for an application.
SourceInfoMap.SourceLineRange
          A range of source lines.
StackDepth
          Dataflow fact to represent the depth of the Java operand stack.
Target
          The target of a branch instruction.
XClass
          Interface for object representing information about a class.
XFactory
          Factory methods for creating XMethod objects.
XField
          Abstract representation of a field.
XMethod
          An XMethod represents symbolic information about a particular method.
XMethodParameter
           
 

Classes in edu.umd.cs.findbugs.ba used by edu.umd.cs.findbugs.ba.bcp
BasicBlock
          Simple basic block abstraction for BCEL.
CFGBuilderException
           
ClassContext
          A ClassContext caches all of the auxiliary objects used to analyze the methods of a class.
DataflowAnalysisException
          Exception type to indicate a dataflow analysis failure.
Edge
          An edge of a control flow graph.
EdgeTypes
          Constants defining the type of control flow edges, as well as flags defining additional information about the edges.
RepositoryLookupFailureCallback
          An interface which Repository class lookup failures are reported to.
 

Classes in edu.umd.cs.findbugs.ba used by edu.umd.cs.findbugs.ba.ca
AbstractDataflowAnalysis
          Abstract base class providing functionality that will be useful for most dataflow analysis implementations that model instructions within basic blocks.
BasicAbstractDataflowAnalysis
          A useful starting point for defining a dataflow analysis.
BasicBlock
          Simple basic block abstraction for BCEL.
BlockOrder
          Specify an order for visiting basic blocks.
CFG
          Simple control flow graph abstraction for BCEL.
Dataflow
          Perform dataflow analysis on a method using a control flow graph.
DataflowAnalysis
          A dataflow analysis to be used with the Dataflow class.
DataflowAnalysisException
          Exception type to indicate a dataflow analysis failure.
DepthFirstSearch
          Algorithm to perform a depth first search on a CFG.
Edge
          An edge of a control flow graph.
 

Classes in edu.umd.cs.findbugs.ba used by edu.umd.cs.findbugs.ba.ch
XClass
          Interface for object representing information about a class.
XMethod
          An XMethod represents symbolic information about a particular method.
 

Classes in edu.umd.cs.findbugs.ba used by edu.umd.cs.findbugs.ba.constant
AbstractDataflowAnalysis
          Abstract base class providing functionality that will be useful for most dataflow analysis implementations that model instructions within basic blocks.
AbstractFrameModelingVisitor
          A common base class for frame modeling visitors.
BasicAbstractDataflowAnalysis
          A useful starting point for defining a dataflow analysis.
BasicBlock
          Simple basic block abstraction for BCEL.
CFG
          Simple control flow graph abstraction for BCEL.
Dataflow
          Perform dataflow analysis on a method using a control flow graph.
DataflowAnalysis
          A dataflow analysis to be used with the Dataflow class.
DataflowAnalysisException
          Exception type to indicate a dataflow analysis failure.
DepthFirstSearch
          Algorithm to perform a depth first search on a CFG.
Edge
          An edge of a control flow graph.
ForwardDataflowAnalysis
          Abstract base class for forward dataflow analyses.
Frame
          Generic class for representing a Java stack frame as a dataflow value.
FrameDataflowAnalysis
          A convenient base class for dataflow analysis classes which use Frames as values.
 

Classes in edu.umd.cs.findbugs.ba used by edu.umd.cs.findbugs.ba.deref
AbstractDataflow
          Convenience class for defining Dataflow classes which use a BasicAbstractDataflowAnalysis subtype.
AbstractDataflowAnalysis
          Abstract base class providing functionality that will be useful for most dataflow analysis implementations that model instructions within basic blocks.
AssertionMethods
          Mark methodref constant pool entries of methods that are likely to implement assertions.
BackwardDataflowAnalysis
          Abstract base class for backward dataflow analyses.
BasicAbstractDataflowAnalysis
          A useful starting point for defining a dataflow analysis.
BasicBlock
          Simple basic block abstraction for BCEL.
CFG
          Simple control flow graph abstraction for BCEL.
Dataflow
          Perform dataflow analysis on a method using a control flow graph.
DataflowAnalysis
          A dataflow analysis to be used with the Dataflow class.
DataflowAnalysisException
          Exception type to indicate a dataflow analysis failure.
DepthFirstSearch
          Algorithm to perform a depth first search on a CFG.
Edge
          An edge of a control flow graph.
Location
          A class representing a location in the CFG for a method.
ReverseDepthFirstSearch
          Algorithm to perform a reverse depth first search on a CFG.
 

Classes in edu.umd.cs.findbugs.ba used by edu.umd.cs.findbugs.ba.heap
AbstractDataflow
          Convenience class for defining Dataflow classes which use a BasicAbstractDataflowAnalysis subtype.
AbstractDataflowAnalysis
          Abstract base class providing functionality that will be useful for most dataflow analysis implementations that model instructions within basic blocks.
BasicAbstractDataflowAnalysis
          A useful starting point for defining a dataflow analysis.
BasicBlock
          Simple basic block abstraction for BCEL.
CFG
          Simple control flow graph abstraction for BCEL.
Dataflow
          Perform dataflow analysis on a method using a control flow graph.
DataflowAnalysis
          A dataflow analysis to be used with the Dataflow class.
DataflowAnalysisException
          Exception type to indicate a dataflow analysis failure.
DepthFirstSearch
          Algorithm to perform a depth first search on a CFG.
Edge
          An edge of a control flow graph.
ForwardDataflowAnalysis
          Abstract base class for forward dataflow analyses.
XField
          Abstract representation of a field.
 

Classes in edu.umd.cs.findbugs.ba used by edu.umd.cs.findbugs.ba.jsr305
AbstractDataflowAnalysis
          Abstract base class providing functionality that will be useful for most dataflow analysis implementations that model instructions within basic blocks.
BasicAbstractDataflowAnalysis
          A useful starting point for defining a dataflow analysis.
BasicBlock
          Simple basic block abstraction for BCEL.
BlockOrder
          Specify an order for visiting basic blocks.
CFG
          Simple control flow graph abstraction for BCEL.
Dataflow
          Perform dataflow analysis on a method using a control flow graph.
DataflowAnalysis
          A dataflow analysis to be used with the Dataflow class.
DataflowAnalysisException
          Exception type to indicate a dataflow analysis failure.
DepthFirstSearch
          Algorithm to perform a depth first search on a CFG.
Edge
          An edge of a control flow graph.
Location
          A class representing a location in the CFG for a method.
ReverseDepthFirstSearch
          Algorithm to perform a reverse depth first search on a CFG.
XMethod
          An XMethod represents symbolic information about a particular method.
 

Classes in edu.umd.cs.findbugs.ba used by edu.umd.cs.findbugs.ba.npe
AbstractDataflow
          Convenience class for defining Dataflow classes which use a BasicAbstractDataflowAnalysis subtype.
AbstractDataflowAnalysis
          Abstract base class providing functionality that will be useful for most dataflow analysis implementations that model instructions within basic blocks.
AbstractFrameModelingVisitor
          A common base class for frame modeling visitors.
AnnotationDatabase.Target
           
AssertionMethods
          Mark methodref constant pool entries of methods that are likely to implement assertions.
BasicAbstractDataflowAnalysis
          A useful starting point for defining a dataflow analysis.
BasicBlock
          Simple basic block abstraction for BCEL.
BlockOrder
          Specify an order for visiting basic blocks.
CFG
          Simple control flow graph abstraction for BCEL.
ClassContext
          A ClassContext caches all of the auxiliary objects used to analyze the methods of a class.
Dataflow
          Perform dataflow analysis on a method using a control flow graph.
DataflowAnalysis
          A dataflow analysis to be used with the Dataflow class.
DataflowAnalysisException
          Exception type to indicate a dataflow analysis failure.
Debug
           
DepthFirstSearch
          Algorithm to perform a depth first search on a CFG.
Edge
          An edge of a control flow graph.
EdgeTypes
          Constants defining the type of control flow edges, as well as flags defining additional information about the edges.
ForwardDataflowAnalysis
          Abstract base class for forward dataflow analyses.
Frame
          Generic class for representing a Java stack frame as a dataflow value.
FrameDataflowAnalysis
          A convenient base class for dataflow analysis classes which use Frames as values.
INullnessAnnotationDatabase
          Interface for querying nullness annotations on methods, fields, and parameters.
JavaClassAndMethod
          A JavaClass and a Method belonging to the class.
Location
          A class representing a location in the CFG for a method.
NullnessAnnotation
           
ReverseDepthFirstSearch
          Algorithm to perform a reverse depth first search on a CFG.
XField
          Abstract representation of a field.
XMethod
          An XMethod represents symbolic information about a particular method.
XMethodParameter
           
 

Classes in edu.umd.cs.findbugs.ba used by edu.umd.cs.findbugs.ba.npe2
AbstractDataflow
          Convenience class for defining Dataflow classes which use a BasicAbstractDataflowAnalysis subtype.
AbstractDataflowAnalysis
          Abstract base class providing functionality that will be useful for most dataflow analysis implementations that model instructions within basic blocks.
BasicAbstractDataflowAnalysis
          A useful starting point for defining a dataflow analysis.
BasicBlock
          Simple basic block abstraction for BCEL.
CFG
          Simple control flow graph abstraction for BCEL.
CompactLocationNumbering
          Compute a compact numbering of Locations in a CFG.
Dataflow
          Perform dataflow analysis on a method using a control flow graph.
DataflowAnalysis
          A dataflow analysis to be used with the Dataflow class.
DataflowAnalysisException
          Exception type to indicate a dataflow analysis failure.
DepthFirstSearch
          Algorithm to perform a depth first search on a CFG.
Edge
          An edge of a control flow graph.
ForwardDataflowAnalysis
          Abstract base class for forward dataflow analyses.
Location
          A class representing a location in the CFG for a method.
 

Classes in edu.umd.cs.findbugs.ba used by edu.umd.cs.findbugs.ba.obl
AbstractDataflowAnalysis
          Abstract base class providing functionality that will be useful for most dataflow analysis implementations that model instructions within basic blocks.
BasicAbstractDataflowAnalysis
          A useful starting point for defining a dataflow analysis.
BasicBlock
          Simple basic block abstraction for BCEL.
CFG
          Simple control flow graph abstraction for BCEL.
Dataflow
          Perform dataflow analysis on a method using a control flow graph.
DataflowAnalysis
          A dataflow analysis to be used with the Dataflow class.
DataflowAnalysisException
          Exception type to indicate a dataflow analysis failure.
DepthFirstSearch
          Algorithm to perform a depth first search on a CFG.
Edge
          An edge of a control flow graph.
ForwardDataflowAnalysis
          Abstract base class for forward dataflow analyses.
Path
          A Path is a sequence of basic blocks.
XMethod
          An XMethod represents symbolic information about a particular method.
 

Classes in edu.umd.cs.findbugs.ba used by edu.umd.cs.findbugs.ba.type
AbstractDataflowAnalysis
          Abstract base class providing functionality that will be useful for most dataflow analysis implementations that model instructions within basic blocks.
AbstractFrameModelingVisitor
          A common base class for frame modeling visitors.
BasicAbstractDataflowAnalysis
          A useful starting point for defining a dataflow analysis.
BasicBlock
          Simple basic block abstraction for BCEL.
CFG
          Simple control flow graph abstraction for BCEL.
Dataflow
          Perform dataflow analysis on a method using a control flow graph.
DataflowAnalysis
          A dataflow analysis to be used with the Dataflow class.
DataflowAnalysisException
          Exception type to indicate a dataflow analysis failure.
Debug
           
DepthFirstSearch
          Algorithm to perform a depth first search on a CFG.
Edge
          An edge of a control flow graph.
EdgeTypes
          Constants defining the type of control flow edges, as well as flags defining additional information about the edges.
ForwardDataflowAnalysis
          Abstract base class for forward dataflow analyses.
Frame
          Generic class for representing a Java stack frame as a dataflow value.
FrameDataflowAnalysis
          A convenient base class for dataflow analysis classes which use Frames as values.
Location
          A class representing a location in the CFG for a method.
RepositoryLookupFailureCallback
          An interface which Repository class lookup failures are reported to.
 

Classes in edu.umd.cs.findbugs.ba used by edu.umd.cs.findbugs.ba.vna
AbstractDataflow
          Convenience class for defining Dataflow classes which use a BasicAbstractDataflowAnalysis subtype.
AbstractDataflowAnalysis
          Abstract base class providing functionality that will be useful for most dataflow analysis implementations that model instructions within basic blocks.
AbstractFrameModelingVisitor
          A common base class for frame modeling visitors.
BasicAbstractDataflowAnalysis
          A useful starting point for defining a dataflow analysis.
BasicBlock
          Simple basic block abstraction for BCEL.
CFG
          Simple control flow graph abstraction for BCEL.
Dataflow
          Perform dataflow analysis on a method using a control flow graph.
DataflowAnalysis
          A dataflow analysis to be used with the Dataflow class.
DataflowAnalysisException
          Exception type to indicate a dataflow analysis failure.
Debug
           
DepthFirstSearch
          Algorithm to perform a depth first search on a CFG.
Edge
          An edge of a control flow graph.
ForwardDataflowAnalysis
          Abstract base class for forward dataflow analyses.
Frame
          Generic class for representing a Java stack frame as a dataflow value.
FrameDataflowAnalysis
          A convenient base class for dataflow analysis classes which use Frames as values.
Location
          A class representing a location in the CFG for a method.
RepositoryLookupFailureCallback
          An interface which Repository class lookup failures are reported to.
XField
          Abstract representation of a field.
 

Classes in edu.umd.cs.findbugs.ba used by edu.umd.cs.findbugs.bcel
CFG
          Simple control flow graph abstraction for BCEL.
ClassContext
          A ClassContext caches all of the auxiliary objects used to analyze the methods of a class.
 

Classes in edu.umd.cs.findbugs.ba used by edu.umd.cs.findbugs.classfile.analysis
AccessibleEntity
          Common superinterface for code entities having access flags: classes, fields, and methods.
ClassMember
          Common super-interface for class members (fields and methods).
XClass
          Interface for object representing information about a class.
XField
          Abstract representation of a field.
XMethod
          An XMethod represents symbolic information about a particular method.
 

Classes in edu.umd.cs.findbugs.ba used by edu.umd.cs.findbugs.classfile.engine.bcel
AbstractDominatorsAnalysis
          A dataflow analysis to compute dominator relationships between basic blocks.
AssertionMethods
          Mark methodref constant pool entries of methods that are likely to implement assertions.
AssignedFieldMap
           
BasicAbstractDataflowAnalysis
          A useful starting point for defining a dataflow analysis.
BlockTypeDataflow
           
BytecodeScanner.Callback
          Callback interface to report scanned instructions.
CFG
          Simple control flow graph abstraction for BCEL.
ClassContext
          A ClassContext caches all of the auxiliary objects used to analyze the methods of a class.
CompactLocationNumbering
          Compute a compact numbering of Locations in a CFG.
DataflowAnalysis
          A dataflow analysis to be used with the Dataflow class.
DepthFirstSearch
          Algorithm to perform a depth first search on a CFG.
DominatorsAnalysis
          Dataflow analysis to compute dominator sets for a CFG.
LiveLocalStoreDataflow
          Dataflow class for LiveLocalStoreAnalysis.
LockChecker
          Front-end for LockDataflow that can avoid doing unnecessary work (e.g., actually performing the lock dataflow) if the method analyzed does not contain explicit monitorenter/monitorexit instructions.
LockDataflow
          Dataflow class for LockAnalysis.
MethodBytecodeSet
          Class representing the set of opcodes used in a method.
PostDominatorsAnalysis
          Dataflow analysis to compute postdominator sets for a CFG.
ReturnPathDataflow
           
ReverseDepthFirstSearch
          Algorithm to perform a reverse depth first search on a CFG.
 

Classes in edu.umd.cs.findbugs.ba used by edu.umd.cs.findbugs.config
AnalysisContext
          A context for analysis of a complete project.
AnalysisFeatures.AnalysisFeature
           
 

Classes in edu.umd.cs.findbugs.ba used by edu.umd.cs.findbugs.detect
AbstractFrameModelingVisitor
          A common base class for frame modeling visitors.
BasicBlock
          Simple basic block abstraction for BCEL.
CFG
          Simple control flow graph abstraction for BCEL.
CFGBuilderException
           
ClassContext
          A ClassContext caches all of the auxiliary objects used to analyze the methods of a class.
Dataflow
          Perform dataflow analysis on a method using a control flow graph.
DataflowAnalysisException
          Exception type to indicate a dataflow analysis failure.
Edge
          An edge of a control flow graph.
Location
          A class representing a location in the CFG for a method.
LockDataflow
          Dataflow class for LockAnalysis.
NullnessAnnotationDatabase
           
RepositoryLookupFailureCallback
          An interface which Repository class lookup failures are reported to.
ResourceTracker
          A ResourceTracker is used with ResourceValueAnalysis to determine where in a method a certain kind of resource is created, and to model the effect of instructions on the state of that resource.
ResourceValueAnalysis
           
ResourceValueFrame
           
ResourceValueFrameModelingVisitor
           
XField
          Abstract representation of a field.
XMethod
          An XMethod represents symbolic information about a particular method.
 

Classes in edu.umd.cs.findbugs.ba used by edu.umd.cs.findbugs.gui
RepositoryLookupFailureCallback
          An interface which Repository class lookup failures are reported to.
 

Classes in edu.umd.cs.findbugs.ba used by edu.umd.cs.findbugs.props
ClassContext
          A ClassContext caches all of the auxiliary objects used to analyze the methods of a class.
Location
          A class representing a location in the CFG for a method.
 

Classes in edu.umd.cs.findbugs.ba used by edu.umd.cs.findbugs.sourceViewer
SourceFile
          Cached data for a source file.
 

Classes in edu.umd.cs.findbugs.ba used by edu.umd.cs.findbugs.visitclass
XClass
          Interface for object representing information about a class.
XField
          Abstract representation of a field.
XMethod
          An XMethod represents symbolic information about a particular method.
 


FindBugs™ 1.3.9

FindBugs™ is licenced under the LGPL. Copyright © 2006 University of Maryland.