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.jimple.toolkits.thread.mhp
soot.jimple.toolkits.thread.mhp.findobject
soot.jimple.toolkits.thread.synchronization
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	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	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	Description
class	ClinitElimAnalysis
class	ConstantArrayAnalysis

Uses of ForwardFlowAnalysis in soot.jimple.toolkits.infoflow

Subclasses of ForwardFlowAnalysis in soot.jimple.toolkits.infoflow

Modifier and Type	Class	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	Description
class	LocalMayAliasAnalysis	Conducts a method-local, equality-based may-alias analysis.
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	Description
class	EqualLocalsAnalysis
class	EqualUsesAnalysis	Deprecated. This class is buggy.
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	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.jimple.toolkits.thread.mhp

Subclasses of ForwardFlowAnalysis in soot.jimple.toolkits.thread.mhp

Modifier and Type	Class	Description
class	MonitorAnalysis
class	StartJoinAnalysis

Uses of ForwardFlowAnalysis in soot.jimple.toolkits.thread.mhp.findobject

Subclasses of ForwardFlowAnalysis in soot.jimple.toolkits.thread.mhp.findobject

Modifier and Type	Class	Description
class	MultiRunStatementsFinder

Uses of ForwardFlowAnalysis in soot.jimple.toolkits.thread.synchronization

Subclasses of ForwardFlowAnalysis in soot.jimple.toolkits.thread.synchronization

Modifier and Type	Class	Description
class	SynchronizedRegionFinder

Uses of ForwardFlowAnalysis in soot.toolkits.graph

Subclasses of ForwardFlowAnalysis in soot.toolkits.graph

Modifier and Type	Class	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	Description
protected class	FlowSensitiveConstantPropagator.BetterConstantPropagator
class	InitAnalysis	An analysis to check whether or not local variables have been initialised.
class	SimpleLocalDefs.FlowAssignment