Uses of Interface
edu.umd.cs.findbugs.ba.DataflowAnalysis

Packages that use DataflowAnalysis

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
edu.umd.cs.findbugs.classfile.engine.bcel	Support for analyses based on the BCEL bytecode framework.
edu.umd.cs.findbugs.detect

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

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

Modifier and Type	Class and Description
class	Dataflow<Fact,AnalysisType extends DataflowAnalysis<Fact>> Perform dataflow analysis on a method using a control flow graph.
class	DataflowCFGPrinter<Fact,AnalysisType extends DataflowAnalysis<Fact>> CFGPrinter class which prints dataflow values at each basic block and instruction.

Classes in edu.umd.cs.findbugs.ba that implement DataflowAnalysis

Modifier and Type	Class and Description
class	AbstractDataflowAnalysis<Fact> Abstract base class providing functionality that will be useful for most dataflow analysis implementations that model instructions within basic blocks.
class	AbstractDominatorsAnalysis A dataflow analysis to compute dominator relationships between basic blocks.
class	BackwardDataflowAnalysis<Fact> Abstract base class for backward dataflow analyses.
class	BasicAbstractDataflowAnalysis<Fact> A useful starting point for defining a dataflow analysis.
class	BlockTypeAnalysis Dataflow analysis to determine the nesting of catch and finally blocks within a method.
class	DominatorsAnalysis Dataflow analysis to compute dominator sets for a CFG.
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	PostDominatorsAnalysis Dataflow analysis to compute postdominator sets for a CFG.
class	ResourceValueAnalysis<Resource>
class	ReturnPathAnalysis
class	StackDepthAnalysis A really simple forward dataflow analysis to find the depth of the Java operand stack.

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

Classes in edu.umd.cs.findbugs.ba.ca that implement DataflowAnalysis

Modifier and Type	Class and Description
class	CallListAnalysis

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

Classes in edu.umd.cs.findbugs.ba.constant that implement DataflowAnalysis

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

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

Classes in edu.umd.cs.findbugs.ba.deref that implement DataflowAnalysis

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

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

Classes in edu.umd.cs.findbugs.ba.heap that implement DataflowAnalysis

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

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

Classes in edu.umd.cs.findbugs.ba.jsr305 that implement DataflowAnalysis

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 DataflowAnalysis in edu.umd.cs.findbugs.ba.npe

Classes in edu.umd.cs.findbugs.ba.npe that implement DataflowAnalysis

Modifier and Type	Class and Description
class	IsNullValueAnalysis A dataflow analysis to detect potential null pointer dereferences.
class	ReturnPathTypeAnalysis A dataflow analysis to determine, at each location in a method's CFG, whether or not it is possible to return normally at that location.

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

Classes in edu.umd.cs.findbugs.ba.obl that implement DataflowAnalysis

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 DataflowAnalysis in edu.umd.cs.findbugs.ba.type

Classes in edu.umd.cs.findbugs.ba.type that implement DataflowAnalysis

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 DataflowAnalysis in edu.umd.cs.findbugs.ba.vna

Classes in edu.umd.cs.findbugs.ba.vna that implement DataflowAnalysis

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

Uses of DataflowAnalysis in edu.umd.cs.findbugs.classfile.engine.bcel

Classes in edu.umd.cs.findbugs.classfile.engine.bcel that implement DataflowAnalysis

Modifier and Type	Class and Description
class	NonExceptionPostdominatorsAnalysis PostDominatorsAnalysis variant in which all exception edges are ignored.
class	NonImplicitExceptionPostDominatorsAnalysis PostDominatorsAnalysis variant in which implicit exception edges are ignored.

Uses of DataflowAnalysis in edu.umd.cs.findbugs.detect

Classes in edu.umd.cs.findbugs.detect with type parameters of type DataflowAnalysis

Modifier and Type	Class and Description
class	TestDataflowAnalysis<Fact,AnalysisType extends DataflowAnalysis<Fact>> This detector is just a test harness to test a dataflow analysis class specified by the dataflow.classname property.