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

Packages that use AbstractDataflowAnalysis

Package	Description
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.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

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

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

Modifier and Type	Class and Description
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

Modifier and Type	Class and Description
class	CallListAnalysis

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

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

Modifier and Type	Class and Description
class	ConstantAnalysis Dataflow analysis to find constant values.

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

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

Modifier and Type	Class and Description
class	UnconditionalValueDerefAnalysis Dataflow analysis to find values unconditionally dereferenced in the future.

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

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

Modifier and Type	Class and Description
class	FieldSetAnalysis
class	LoadAnalysis
class	StoreAnalysis

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

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

Modifier and Type	Class and Description
class	BackwardTypeQualifierDataflowAnalysis Backwards type qualifier dataflow analysis.
class	ForwardTypeQualifierDataflowAnalysis Forward type qualifier dataflow analysis.
class	TypeQualifierDataflowAnalysis Abstract base class for type qualifier dataflow analyses.

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

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

Modifier and Type	Class and Description
class	IsNullValueAnalysis A dataflow analysis to detect potential null pointer dereferences.

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

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

Modifier and Type	Class and Description
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

Modifier and Type	Class and Description
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.vna

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

Modifier and Type	Class and Description
class	ValueNumberAnalysis A dataflow analysis to track the production and flow of values in the Java stack frame.