Uses of Class
edu.umd.cs.findbugs.ba.AbstractDataflowAnalysis

Packages that use AbstractDataflowAnalysis

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.ca
edu.umd.cs.findbugs.ba.constant
edu.umd.cs.findbugs.ba.heap
edu.umd.cs.findbugs.ba.npe
edu.umd.cs.findbugs.ba.obl
edu.umd.cs.findbugs.ba.type
edu.umd.cs.findbugs.ba.type2	A whizzy set of classes for representing Java types.
edu.umd.cs.findbugs.ba.vna

Uses of AbstractDataflowAnalysis in edu.umd.cs.findbugs.ba

Classes in edu.umd.cs.findbugs.ba with type parameters of type AbstractDataflowAnalysis

class	AbstractDataflow<Fact,AnalysisType extends AbstractDataflowAnalysis<Fact>> Convenience class for defining Dataflow classes which use an AbstractDataflowAnalysis subtype.
class	DataflowCFGPrinter<Fact,AnalysisType extends AbstractDataflowAnalysis<Fact>> CFGPrinter class which prints dataflow values at each basic block and instruction.
class	DataflowTestDriver<Fact,AnalysisType extends AbstractDataflowAnalysis<Fact>> A test driver for dataflow analysis classes.

Subclasses of AbstractDataflowAnalysis in edu.umd.cs.findbugs.ba

class	BackwardDataflowAnalysis<Fact> Abstract base class for backward dataflow analyses.
class	ForwardDataflowAnalysis<Fact> Abstract base class for forward dataflow analyses.
class	FrameDataflowAnalysis<ValueType,FrameType extends Frame<ValueType>> A convenient base class for dataflow analysis classes which use Frames as values.
class	LiveLocalStoreAnalysis Dataflow analysis to find live stores of locals.
class	LockAnalysis Analysis to determine where particular values are locked in a method.
class	ResourceValueAnalysis<Resource>
class	ReturnPathAnalysis
class	StackDepthAnalysis A really simple forward dataflow analysis to find the depth of the Java operand stack.

Uses of AbstractDataflowAnalysis in edu.umd.cs.findbugs.ba.ca

Subclasses of AbstractDataflowAnalysis in edu.umd.cs.findbugs.ba.ca

class

CallListAnalysis

Uses of AbstractDataflowAnalysis in edu.umd.cs.findbugs.ba.constant

Subclasses of AbstractDataflowAnalysis in edu.umd.cs.findbugs.ba.constant

class

ConstantAnalysis Dataflow analysis to find constant values.

Uses of AbstractDataflowAnalysis in edu.umd.cs.findbugs.ba.heap

Subclasses of AbstractDataflowAnalysis in edu.umd.cs.findbugs.ba.heap

class	FieldSetAnalysis
class	LoadAnalysis
class	StoreAnalysis

Uses of AbstractDataflowAnalysis in edu.umd.cs.findbugs.ba.npe

Subclasses of AbstractDataflowAnalysis in edu.umd.cs.findbugs.ba.npe

class	IsNullValueAnalysis A dataflow analysis to detect potential null pointer dereferences.
class	UnconditionalDerefAnalysis Dataflow analysis to look for parameters dereferenced unconditionally.
class	WillBeDereferencedAnalysis Dataflow analysis to look for parameters dereferenced unconditionally.

Uses of AbstractDataflowAnalysis in edu.umd.cs.findbugs.ba.obl

Subclasses of AbstractDataflowAnalysis in edu.umd.cs.findbugs.ba.obl

class

ObligationAnalysis Dataflow analysis to track obligations (i/o streams and other resources which must be closed).

Uses of AbstractDataflowAnalysis in edu.umd.cs.findbugs.ba.type

Subclasses of AbstractDataflowAnalysis in edu.umd.cs.findbugs.ba.type

class

TypeAnalysis A forward dataflow analysis to determine the types of all values in the Java stack frame at all points in a Java method.

Uses of AbstractDataflowAnalysis in edu.umd.cs.findbugs.ba.type2

Subclasses of AbstractDataflowAnalysis in edu.umd.cs.findbugs.ba.type2

class

BetterTypeAnalysis

Uses of AbstractDataflowAnalysis in edu.umd.cs.findbugs.ba.vna

Subclasses of AbstractDataflowAnalysis in edu.umd.cs.findbugs.ba.vna

class

ValueNumberAnalysis A dataflow analysis to track the production and flow of values in the Java stack frame.