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.