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