| 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 |
| Class and 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.
|
| Class and 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.
|
| 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 |
| Class and 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.
|
| 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.
|
| Class and 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.
|
| Class and Description |
|---|
| XClass
Interface for object representing information about a class.
|
| XMethod
An XMethod represents symbolic information about a particular method.
|
| Class and 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.
|
| Class and 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.
|
| Class and 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.
|
| Class and 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.
|
| Class and 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 |
| Class and 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.
|
| Class and 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.
|
| Class and 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.
|
| Class and 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.
|
| Class and Description |
|---|
| RepositoryLookupFailureCallback
An interface which Repository class lookup failures are reported to.
|
| Class and Description |
|---|
| ComparableField |
| ComparableMethod |
| XClass
Interface for object representing information about a class.
|
| Class and 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.
|
| Class and 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.
|
| Class and Description |
|---|
| AnalysisContext
A context for analysis of a complete project.
|
| AnalysisFeatures.AnalysisFeature |
| Class and 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.
|
| Class and 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.
|
| Class and Description |
|---|
| SourceFile
Cached data for a source file.
|
| Class and 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.
|
FindBugs™ is licenced under the LGPL. Copyright © 2006 University of Maryland.