Uses of Package
edu.umd.cs.findbugs.ba
-
Packages that use edu.umd.cs.findbugs.ba 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 -
Classes in edu.umd.cs.findbugs.ba used by edu.umd.cs.findbugs 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. -
Classes in edu.umd.cs.findbugs.ba used by edu.umd.cs.findbugs.ba 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.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 theDataflow
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.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 summaryForwardDataflowAnalysis 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 -
Classes in edu.umd.cs.findbugs.ba used by edu.umd.cs.findbugs.ba.bcp 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. -
Classes in edu.umd.cs.findbugs.ba used by edu.umd.cs.findbugs.ba.ca 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 theDataflow
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 Class Description 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 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 theDataflow
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 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 theDataflow
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 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 theDataflow
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 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 theDataflow
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 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.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 theDataflow
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.obl 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 theDataflow
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 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 theDataflow
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. -
Classes in edu.umd.cs.findbugs.ba used by edu.umd.cs.findbugs.ba.vna 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.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 theDataflow
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 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. -
Classes in edu.umd.cs.findbugs.ba used by edu.umd.cs.findbugs.bugReporter Class Description RepositoryLookupFailureCallback An interface which Repository class lookup failures are reported to. -
Classes in edu.umd.cs.findbugs.ba used by edu.umd.cs.findbugs.classfile Class Description ComparableField ComparableMethod XClass Interface for object representing information about a class. -
Classes in edu.umd.cs.findbugs.ba used by edu.umd.cs.findbugs.classfile.analysis 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).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. -
Classes in edu.umd.cs.findbugs.ba used by edu.umd.cs.findbugs.classfile.engine.bcel 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 theDataflow
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. -
Classes in edu.umd.cs.findbugs.ba used by edu.umd.cs.findbugs.config Class Description 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 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.DataflowAnalysis A dataflow analysis to be used with theDataflow
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. -
Classes in edu.umd.cs.findbugs.ba used by edu.umd.cs.findbugs.props 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. -
Classes in edu.umd.cs.findbugs.ba used by edu.umd.cs.findbugs.sourceViewer Class Description SourceFile Cached data for a source file. -
Classes in edu.umd.cs.findbugs.ba used by edu.umd.cs.findbugs.visitclass 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.