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

Packages that use edu.umd.cs.findbugs.ba

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.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.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.bugReporter
edu.umd.cs.findbugs.classfile	A high-level abstraction layer for codebases, classes, and components of classes (methods, fields, instructions, etc.).
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.props
edu.umd.cs.findbugs.sourceViewer
edu.umd.cs.findbugs.visitclass

Classes in edu.umd.cs.findbugs.ba used by edu.umd.cs.findbugs

Class	Description
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

Class	Description
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.
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.
ComparableField
ComparableMethod
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.
DFSEdgeTypes	Interface defining depth first search edge type constants.
DominatorsAnalysis	Dataflow analysis to compute dominator sets for a CFG.
Edge	An edge of a control flow graph.
Edge.Type
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.
MissingClassException	DataflowAnalysisException variant to report a class lookup failure that caused dataflow analysis to abort.
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

Class	Description
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.
DFSEdgeTypes	Interface defining depth first search edge type constants.
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

Class	Description
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

Class	Description
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

Class	Description
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

Class	Description
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

Class	Description
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

Class	Description
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

Class	Description
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.
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.
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.obl

Class	Description
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

Class	Description
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.
XField	Abstract representation of a field.

Classes in edu.umd.cs.findbugs.ba used by edu.umd.cs.findbugs.ba.vna

Class	Description
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.
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.
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

Class	Description
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.bugReporter

Class	Description
RepositoryLookupFailureCallback	An interface which Repository class lookup failures are reported to.

Classes in edu.umd.cs.findbugs.ba used by edu.umd.cs.findbugs.classfile

Class	Description
ComparableField
ComparableMethod
XClass	Interface for object representing information about a class.

Classes in edu.umd.cs.findbugs.ba used by edu.umd.cs.findbugs.classfile.analysis

Class	Description
AccessibleEntity	Common superinterface for code entities having access flags: classes, fields, and methods.
ClassMember	Common super-interface for class members (fields and methods).
ComparableField
ComparableMethod
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

Class	Description
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.
Edge	An edge of a control flow graph.
LiveLocalStoreDataflow	Dataflow class for LiveLocalStoreAnalysis.
Location	A class representing a location in the CFG for 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.
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

Class	Description
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

Class	Description
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.
DataflowAnalysis	A dataflow analysis to be used with the Dataflow class.
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	Deprecated.
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.props

Class	Description
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

Class	Description
SourceFile	Cached data for a source file.

Classes in edu.umd.cs.findbugs.ba used by edu.umd.cs.findbugs.visitclass

Class	Description
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.