Uses of Class
soot.toolkits.scalar.ForwardFlowAnalysis

Packages that use ForwardFlowAnalysis

Package	Description
soot.jimple.toolkits.annotation.parity
soot.jimple.toolkits.annotation.purity
soot.jimple.toolkits.callgraph
soot.jimple.toolkits.infoflow
soot.jimple.toolkits.pointer
soot.jimple.toolkits.scalar	A toolkit for scalar optimization of Jimple.
soot.jimple.toolkits.scalar.pre	Particial redundency elimination.
soot.toolkits.graph	Toolkit to produce and manipulate various types of control flow graphs.
soot.toolkits.scalar	A number of scalar optimizations, and the flow analysis framework.

Uses of ForwardFlowAnalysis in soot.jimple.toolkits.annotation.parity

Subclasses of ForwardFlowAnalysis in soot.jimple.toolkits.annotation.parity

Modifier and Type	Class and Description
class	ParityAnalysis

Uses of ForwardFlowAnalysis in soot.jimple.toolkits.annotation.purity

Subclasses of ForwardFlowAnalysis in soot.jimple.toolkits.annotation.purity

Modifier and Type	Class and Description
class	PurityIntraproceduralAnalysis Intra-procedural purity-graph analysis.

Uses of ForwardFlowAnalysis in soot.jimple.toolkits.callgraph

Subclasses of ForwardFlowAnalysis in soot.jimple.toolkits.callgraph

Modifier and Type	Class and Description
class	ClinitElimAnalysis

Uses of ForwardFlowAnalysis in soot.jimple.toolkits.infoflow

Subclasses of ForwardFlowAnalysis in soot.jimple.toolkits.infoflow

Modifier and Type	Class and Description
class	SimpleMethodInfoFlowAnalysis
class	SimpleMethodLocalObjectsAnalysis

Uses of ForwardFlowAnalysis in soot.jimple.toolkits.pointer

Subclasses of ForwardFlowAnalysis in soot.jimple.toolkits.pointer

Modifier and Type	Class and Description
class	LocalMustAliasAnalysis LocalMustAliasAnalysis attempts to determine if two local variables (at two potentially different program points) must point to the same object.
class	LocalMustNotAliasAnalysis LocalNotMayAliasAnalysis attempts to determine if two local variables (at two potentially different program points) definitely point to different objects.
class	StrongLocalMustAliasAnalysis A special version of the local must-alias analysis that takes redefinitions within loops into account.

Uses of ForwardFlowAnalysis in soot.jimple.toolkits.scalar

Subclasses of ForwardFlowAnalysis in soot.jimple.toolkits.scalar

Modifier and Type	Class and Description
class	EqualLocalsAnalysis
class	EqualUsesAnalysis Deprecated. This class is buggy. Please use soot.jimple.toolkits.pointer.LocalMustAliasAnalysis instead.
class	FastAvailableExpressionsAnalysis Implements an available expressions analysis on local variables.
class	PessimisticAvailableExpressionsAnalysis Implements an available expressions analysis on local variables.
class	SlowAvailableExpressionsAnalysis Implements an available expressions analysis on local variables.

Uses of ForwardFlowAnalysis in soot.jimple.toolkits.scalar.pre

Subclasses of ForwardFlowAnalysis in soot.jimple.toolkits.scalar.pre

Modifier and Type	Class and Description
class	DelayabilityAnalysis Performs a Delayability-analysis on the given graph.
class	UpSafetyAnalysis Performs an UpSafe-analysis on the given graph.

Uses of ForwardFlowAnalysis in soot.toolkits.graph

Subclasses of ForwardFlowAnalysis in soot.toolkits.graph

Modifier and Type	Class and Description
class	DominatorAnalysis Deprecated. use MHGDominatorsFinder instead

Uses of ForwardFlowAnalysis in soot.toolkits.scalar

Subclasses of ForwardFlowAnalysis in soot.toolkits.scalar

Modifier and Type	Class and Description
class	InitAnalysis An analysis to check whether or not local variables have been initialised.