Uses of Package
edu.umd.cs.findbugs.ba
Package
Description
Main package for the FindBugs application - contains the engine class
(
FindBugs
), the object model classes for bug
instances (BugInstance
,
BugAnnotation
), and other miscellany.A bytecode analysis framework for BCEL, providing CFG construction, generic
dataflow analysis, and a variety of specific dataflow analyses.
Support for analyzing code containing JSR-305 type qualifier annotations.
Implementation of dataflow analysis for checking whether obligations to close streams and other resources
(e.g., database objects) are satisfied.
A high-level abstraction layer for codebases, classes, and components of
classes (methods, fields, instructions, etc.).
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.
Support for analyses based on the BCEL bytecode framework.
The package providing a
BugReporter
implementation which produces report in SARIF format.-
ClassDescriptionSimple basic block abstraction for BCEL.Simple control flow graph abstraction for BCEL.A ClassContext caches all of the auxiliary objects used to analyze the methods of a class.Perform dataflow analysis on a method using a control flow graph.Exception type to indicate a dataflow analysis failure.An edge of a control flow graph.A JavaClass and a Method belonging to the class.A class representing a location in the CFG for a method.An interface which Repository class lookup failures are reported to.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.Class to open input streams on source files.Interface for object representing information about a class.Abstract representation of a field.An XMethod represents symbolic information about a particular method.
-
ClassDescriptionAbstract base class for BlockOrder variants.Abstract base class providing functionality that will be useful for most dataflow analysis implementations that model instructions within basic blocks.A dataflow analysis to compute dominator relationships between basic blocks.A common base class for frame modeling visitors.Common superinterface for code entities having access flags: classes, fields, and methods.A context for analysis of a complete project.Database to keep track of annotated fields/methods/classes/etc.Mark methodref constant pool entries of methods that are likely to implement assertions.Abstract base class for backward dataflow analyses.A useful starting point for defining a dataflow analysis.Simple basic block abstraction for BCEL.A forward Iterator over the instructions of a basic block.Specify an order for visiting basic blocks.Dataflow value representing the current nesting of catch and finally blocks.Dataflow analysis to determine the nesting of catch and finally blocks within a method.Callback interface to report scanned instructions.Simple control flow graph abstraction for BCEL.Abstract interface for CFG builder classes.Print out a representation of a control-flow graph.A ClassContext caches all of the auxiliary objects used to analyze the methods of a class.Compute a hash of method names and signatures.Common super-interface for class members (fields and methods).Compute a compact numbering of Locations in a CFG.Perform dataflow analysis on a method using a control flow graph.A dataflow analysis to be used with the
Dataflow
class.Exception type to indicate a dataflow analysis failure.Predicate for dataflow values.Algorithm to perform a depth first search on a CFG.Interface defining depth first search edge type Const.Dataflow analysis to compute dominator sets for a CFG.An edge of a control flow graph.Interface for choosing CFG Edges.Constants defining the type of control flow edges, as well as flags defining additional information about the edges.Interprocedural analysis summaryAbstract base class for forward dataflow analyses.Generic class for representing a Java stack frame as a dataflow value.A convenient base class for dataflow analysis classes which use Frames as values.Determine which methods are accessors used by inner classes to access fields in their enclosing classes.Interface for querying nullness annotations on methods, fields, and parameters.A JavaClass and a Method belonging to the class.Deprecated.Dataflow analysis to find live stores of locals.Dataflow class for LiveLocalStoreAnalysis.A class representing a location in the CFG for a method.Analysis to determine where particular values are locked in a method.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.Dataflow class for LockAnalysis.Lock counts for values (as produced by ValueNumberAnalysis).Compute a hash of the bytecode for given method.DataflowAnalysisException variant to report a class lookup failure that caused dataflow analysis to abort.Nullness annotation detector.A Path is a sequence of basic blocks.Visit the BasicBlocks, InstructionHandles, and Edges along a Path.Dataflow analysis to compute postdominator sets for a CFG.An interface which Repository class lookup failures are reported to.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.Algorithm to perform a reverse depth first search on a CFG.A simple class to parse method signatures.Object to enumerate (some subset of) the simple paths in a CFG.Cached data for a source file.A data source which can produce a stream for a source file.Class to open input streams on source files.Global information about the source code for an application.A range of source lines.Dataflow fact to represent the depth of the Java operand stack.The target of a branch instruction.Interface for object representing information about a class.Factory methods for creating XMethod objects.Abstract representation of a field.An XMethod represents symbolic information about a particular method. -
ClassDescriptionSimple basic block abstraction for BCEL.A ClassContext caches all of the auxiliary objects used to analyze the methods of a class.Exception type to indicate a dataflow analysis failure.Interface defining depth first search edge type Const.An edge of a control flow graph.Constants defining the type of control flow edges, as well as flags defining additional information about the edges.An interface which Repository class lookup failures are reported to.
-
ClassDescriptionAbstract base class providing functionality that will be useful for most dataflow analysis implementations that model instructions within basic blocks.A useful starting point for defining a dataflow analysis.Simple basic block abstraction for BCEL.Specify an order for visiting basic blocks.Simple control flow graph abstraction for BCEL.Perform dataflow analysis on a method using a control flow graph.A dataflow analysis to be used with the
Dataflow
class.Exception type to indicate a dataflow analysis failure.Algorithm to perform a depth first search on a CFG.An edge of a control flow graph. -
-
ClassDescriptionAbstract base class providing functionality that will be useful for most dataflow analysis implementations that model instructions within basic blocks.A common base class for frame modeling visitors.A useful starting point for defining a dataflow analysis.Simple basic block abstraction for BCEL.Simple control flow graph abstraction for BCEL.Perform dataflow analysis on a method using a control flow graph.A dataflow analysis to be used with the
Dataflow
class.Exception type to indicate a dataflow analysis failure.Algorithm to perform a depth first search on a CFG.An edge of a control flow graph.Abstract base class for forward dataflow analyses.Generic class for representing a Java stack frame as a dataflow value.A convenient base class for dataflow analysis classes which use Frames as values. -
ClassDescriptionConvenience class for defining Dataflow classes which use a BasicAbstractDataflowAnalysis subtype.Abstract base class providing functionality that will be useful for most dataflow analysis implementations that model instructions within basic blocks.Mark methodref constant pool entries of methods that are likely to implement assertions.Abstract base class for backward dataflow analyses.A useful starting point for defining a dataflow analysis.Simple basic block abstraction for BCEL.Simple control flow graph abstraction for BCEL.Perform dataflow analysis on a method using a control flow graph.A dataflow analysis to be used with the
Dataflow
class.Exception type to indicate a dataflow analysis failure.Algorithm to perform a depth first search on a CFG.An edge of a control flow graph.A class representing a location in the CFG for a method.Algorithm to perform a reverse depth first search on a CFG. -
ClassDescriptionConvenience class for defining Dataflow classes which use a BasicAbstractDataflowAnalysis subtype.Abstract base class providing functionality that will be useful for most dataflow analysis implementations that model instructions within basic blocks.A useful starting point for defining a dataflow analysis.Simple basic block abstraction for BCEL.Simple control flow graph abstraction for BCEL.Perform dataflow analysis on a method using a control flow graph.A dataflow analysis to be used with the
Dataflow
class.Exception type to indicate a dataflow analysis failure.Algorithm to perform a depth first search on a CFG.An edge of a control flow graph.Abstract base class for forward dataflow analyses.Abstract representation of a field. -
ClassDescriptionAbstract base class providing functionality that will be useful for most dataflow analysis implementations that model instructions within basic blocks.A useful starting point for defining a dataflow analysis.Simple basic block abstraction for BCEL.Specify an order for visiting basic blocks.Simple control flow graph abstraction for BCEL.Perform dataflow analysis on a method using a control flow graph.A dataflow analysis to be used with the
Dataflow
class.Exception type to indicate a dataflow analysis failure.Algorithm to perform a depth first search on a CFG.An edge of a control flow graph.A class representing a location in the CFG for a method.Algorithm to perform a reverse depth first search on a CFG.An XMethod represents symbolic information about a particular method. -
ClassDescriptionConvenience class for defining Dataflow classes which use a BasicAbstractDataflowAnalysis subtype.Abstract base class providing functionality that will be useful for most dataflow analysis implementations that model instructions within basic blocks.A common base class for frame modeling visitors.Mark methodref constant pool entries of methods that are likely to implement assertions.A useful starting point for defining a dataflow analysis.Simple basic block abstraction for BCEL.Specify an order for visiting basic blocks.Simple control flow graph abstraction for BCEL.A ClassContext caches all of the auxiliary objects used to analyze the methods of a class.Perform dataflow analysis on a method using a control flow graph.A dataflow analysis to be used with the
Dataflow
class.Exception type to indicate a dataflow analysis failure.Algorithm to perform a depth first search on a CFG.An edge of a control flow graph.Constants defining the type of control flow edges, as well as flags defining additional information about the edges.Abstract base class for forward dataflow analyses.Generic class for representing a Java stack frame as a dataflow value.A convenient base class for dataflow analysis classes which use Frames as values.Interface for querying nullness annotations on methods, fields, and parameters.A JavaClass and a Method belonging to the class.A class representing a location in the CFG for a method.Nullness annotation detector.Algorithm to perform a reverse depth first search on a CFG.Abstract representation of a field.An XMethod represents symbolic information about a particular method. -
ClassDescriptionAbstract base class providing functionality that will be useful for most dataflow analysis implementations that model instructions within basic blocks.A useful starting point for defining a dataflow analysis.Simple basic block abstraction for BCEL.Simple control flow graph abstraction for BCEL.Perform dataflow analysis on a method using a control flow graph.A dataflow analysis to be used with the
Dataflow
class.Exception type to indicate a dataflow analysis failure.Algorithm to perform a depth first search on a CFG.An edge of a control flow graph.Abstract base class for forward dataflow analyses.A Path is a sequence of basic blocks.An XMethod represents symbolic information about a particular method. -
ClassDescriptionAbstract base class providing functionality that will be useful for most dataflow analysis implementations that model instructions within basic blocks.A common base class for frame modeling visitors.A useful starting point for defining a dataflow analysis.Simple basic block abstraction for BCEL.Simple control flow graph abstraction for BCEL.Perform dataflow analysis on a method using a control flow graph.A dataflow analysis to be used with the
Dataflow
class.Exception type to indicate a dataflow analysis failure.Algorithm to perform a depth first search on a CFG.An edge of a control flow graph.Constants defining the type of control flow edges, as well as flags defining additional information about the edges.Abstract base class for forward dataflow analyses.Generic class for representing a Java stack frame as a dataflow value.A convenient base class for dataflow analysis classes which use Frames as values.A class representing a location in the CFG for a method.An interface which Repository class lookup failures are reported to.Abstract representation of a field. -
ClassDescriptionConvenience class for defining Dataflow classes which use a BasicAbstractDataflowAnalysis subtype.Abstract base class providing functionality that will be useful for most dataflow analysis implementations that model instructions within basic blocks.A common base class for frame modeling visitors.A useful starting point for defining a dataflow analysis.Simple basic block abstraction for BCEL.Simple control flow graph abstraction for BCEL.A ClassContext caches all of the auxiliary objects used to analyze the methods of a class.Perform dataflow analysis on a method using a control flow graph.A dataflow analysis to be used with the
Dataflow
class.Exception type to indicate a dataflow analysis failure.Algorithm to perform a depth first search on a CFG.An edge of a control flow graph.Abstract base class for forward dataflow analyses.Generic class for representing a Java stack frame as a dataflow value.A convenient base class for dataflow analysis classes which use Frames as values.A class representing a location in the CFG for a method.An interface which Repository class lookup failures are reported to.Abstract representation of a field. -
ClassDescriptionSimple control flow graph abstraction for BCEL.A ClassContext caches all of the auxiliary objects used to analyze the methods of a class.
-
ClassDescriptionAn interface which Repository class lookup failures are reported to.
-
ClassDescriptionCommon super-interface for class members (fields and methods).An XMethod represents symbolic information about a particular method.
-
ClassDescriptionInterface for object representing information about a class.
-
ClassDescriptionCommon superinterface for code entities having access flags: classes, fields, and methods.Common super-interface for class members (fields and methods).Interface for object representing information about a class.Abstract representation of a field.An XMethod represents symbolic information about a particular method.
-
ClassDescriptionA dataflow analysis to compute dominator relationships between basic blocks.Mark methodref constant pool entries of methods that are likely to implement assertions.A useful starting point for defining a dataflow analysis.Callback interface to report scanned instructions.Simple control flow graph abstraction for BCEL.A ClassContext caches all of the auxiliary objects used to analyze the methods of a class.Compute a compact numbering of Locations in a CFG.A dataflow analysis to be used with the
Dataflow
class.Algorithm to perform a depth first search on a CFG.Dataflow analysis to compute dominator sets for a CFG.An edge of a control flow graph.Dataflow class for LiveLocalStoreAnalysis.A class representing a location in the CFG for a method.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.Dataflow class for LockAnalysis.Class representing the set of opcodes used in a method.Dataflow analysis to compute postdominator sets for a CFG.Algorithm to perform a reverse depth first search on a CFG. -
ClassDescriptionA context for analysis of a complete project.
-
ClassDescriptionA common base class for frame modeling visitors.Simple basic block abstraction for BCEL.Simple control flow graph abstraction for BCEL.A ClassContext caches all of the auxiliary objects used to analyze the methods of a class.Perform dataflow analysis on a method using a control flow graph.A dataflow analysis to be used with the
Dataflow
class.Exception type to indicate a dataflow analysis failure.An edge of a control flow graph.A class representing a location in the CFG for a method.Dataflow class for LockAnalysis.Deprecated.An interface which Repository class lookup failures are reported to.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.Abstract representation of a field.An XMethod represents symbolic information about a particular method. -
ClassDescriptionA ClassContext caches all of the auxiliary objects used to analyze the methods of a class.A class representing a location in the CFG for a method.
-
ClassDescriptionAn interface which Repository class lookup failures are reported to.
-
-