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

Packages that use ForwardDataflowAnalysis

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.constant
edu.umd.cs.findbugs.ba.heap
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., database objects) are satisfied.
edu.umd.cs.findbugs.ba.type
edu.umd.cs.findbugs.ba.vna
edu.umd.cs.findbugs.detect

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

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

Modifier and Type	Class	Description
class	FrameDataflowAnalysis<ValueType, FrameType extends Frame<ValueType>>	A convenient base class for dataflow analysis classes which use Frames as values.
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 ForwardDataflowAnalysis in edu.umd.cs.findbugs.ba.constant

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

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

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

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

Modifier and Type	Class	Description
class	FieldSetAnalysis
class	LoadAnalysis
class	StoreAnalysis

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

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

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

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

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

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

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

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

Modifier and Type	Class	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 ForwardDataflowAnalysis in edu.umd.cs.findbugs.ba.vna

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

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

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

Subclasses of ForwardDataflowAnalysis in edu.umd.cs.findbugs.detect

Modifier and Type	Class	Description
private static final class	FindRefComparison.SpecialTypeAnalysis