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