|
FindBugs™ 1.3.9 | |||||||||
PREV NEXT | FRAMES NO FRAMES |
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 | |||||||||
PREV NEXT | FRAMES NO FRAMES |