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.constant   
edu.umd.cs.findbugs.ba.heap   
edu.umd.cs.findbugs.ba.interproc   
edu.umd.cs.findbugs.ba.npe   
edu.umd.cs.findbugs.ba.obl   
edu.umd.cs.findbugs.ba.rta   
edu.umd.cs.findbugs.ba.type   
edu.umd.cs.findbugs.ba.type2 A whizzy set of classes for representing Java types. 
edu.umd.cs.findbugs.ba.vna   
edu.umd.cs.findbugs.config   
edu.umd.cs.findbugs.detect   
edu.umd.cs.findbugs.gui   
edu.umd.cs.findbugs.props   
 

Classes in edu.umd.cs.findbugs.ba used by edu.umd.cs.findbugs
AnalysisContext
          A context for analysis of a complete project.
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.
ClassObserver
          An interface to be implemented by classes which observer the analysis of classes.
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
           
XField
          Abstract representation of a field.
XMethod
           
 

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.
AbstractDominatorsAnalysis
          A dataflow analysis to compute dominator relationships between basic blocks.
AbstractField
           
AbstractFrameModelingVisitor
          A common base class for frame modeling visitors.
AbstractMethod
           
AnalysisContext
          A context for analysis of a complete project.
AnnotationDatabase
           
AnnotationEnumeration
           
AssertionMethods
          Mark methodref constant pool entries of methods that are likely to implement assertions.
AssignedFieldMap
           
BackwardDataflowAnalysis
          Abstract base class for backward dataflow analyses.
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.
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).
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.
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.
InnerClassAccess
           
InnerClassAccessMap
          Singleton class to determine which methods are accessors used by inner classes to access fields in their enclosing classes.
JavaClassAndMethod
          A JavaClass and a Method belonging to the class.
JavaClassAndMethodChooser
           
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
           
LockSet
          Lock counts for values (as produced by ValueNumberAnalysis).
MethodHash
          Compute a hash of the bytecode for given method.
NullnessAnnotation
           
NullnessAnnotationDatabase
           
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.
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.
XField
          Abstract representation of a field.
XMethod
           
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.
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.
 

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.
AbstractFrameModelingVisitor
          A common base class for frame modeling visitors.
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.
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.heap
AbstractDataflow
          Convenience class for defining Dataflow classes which use an AbstractDataflowAnalysis subtype.
AbstractDataflowAnalysis
          Abstract base class providing functionality that will be useful for most dataflow analysis implementations.
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.interproc
XField
          Abstract representation of a field.
XMethod
           
 

Classes in edu.umd.cs.findbugs.ba used by edu.umd.cs.findbugs.ba.npe
AbstractDataflow
          Convenience class for defining Dataflow classes which use an AbstractDataflowAnalysis subtype.
AbstractDataflowAnalysis
          Abstract base class providing functionality that will be useful for most dataflow analysis implementations.
AbstractFrameModelingVisitor
          A common base class for frame modeling visitors.
AssertionMethods
          Mark methodref constant pool entries of methods that are likely to implement assertions.
BackwardDataflowAnalysis
          Abstract base class for backward dataflow analyses.
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.
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.
JavaClassAndMethod
          A JavaClass and a Method belonging to the class.
JavaClassAndMethodChooser
           
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.obl
AbstractDataflowAnalysis
          Abstract base class providing functionality that will be useful for most dataflow analysis implementations.
BasicBlock
          Simple basic block abstraction for BCEL.
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.
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.rta
ClassObserver
          An interface to be implemented by classes which observer the analysis of classes.
 

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.
AbstractFrameModelingVisitor
          A common base class for frame modeling visitors.
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.type2
AbstractDataflowAnalysis
          Abstract base class providing functionality that will be useful for most dataflow analysis implementations.
AbstractFrameModelingVisitor
          A common base class for frame modeling visitors.
BasicBlock
          Simple basic block abstraction for BCEL.
CFG
          Simple control flow graph abstraction for BCEL.
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.
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
AbstractDataflowAnalysis
          Abstract base class providing functionality that will be useful for most dataflow analysis implementations.
AbstractFrameModelingVisitor
          A common base class for frame modeling visitors.
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.
InstanceField
           
Location
          A class representing a location in the CFG for a method.
RepositoryLookupFailureCallback
          An interface which Repository class lookup failures are reported to.
StaticField
           
XField
          Abstract representation of a field.
 

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

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
           
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
           
XMethod
           
 

Classes in edu.umd.cs.findbugs.ba used by edu.umd.cs.findbugs.gui
ClassObserver
          An interface to be implemented by classes which observer the analysis of classes.
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.