Uses of Class
soot.toolkits.scalar.FlowAnalysis

Packages that use FlowAnalysis

Package	Description
soot.jbco.jimpleTransformations
soot.jimple.toolkits.annotation.nullcheck	Classes that carry out an analysis to determine whether or not null pointer checks are necessary.
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 FlowAnalysis in soot.jbco.jimpleTransformations

Subclasses of FlowAnalysis in soot.jbco.jimpleTransformations

Modifier and Type	Class	Description
class	New2InitFlowAnalysis

Uses of FlowAnalysis in soot.jimple.toolkits.annotation.nullcheck

Subclasses of FlowAnalysis in soot.jimple.toolkits.annotation.nullcheck

Modifier and Type	Class	Description
class	NullnessAssumptionAnalysis	An intraprocedural nullness assumption analysis that computes for each location and each value in a method if the value (before or after that location) is treated as definitely null, definitely non-null or neither.

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

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

Modifier and Type	Class	Description
class	ParityAnalysis

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

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

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

Uses of FlowAnalysis in soot.jimple.toolkits.callgraph

Subclasses of FlowAnalysis in soot.jimple.toolkits.callgraph

Modifier and Type	Class	Description
class	ClinitElimAnalysis
class	ConstantArrayAnalysis

Uses of FlowAnalysis in soot.jimple.toolkits.infoflow

Subclasses of FlowAnalysis in soot.jimple.toolkits.infoflow

Modifier and Type	Class	Description
class	SimpleMethodInfoFlowAnalysis
class	SimpleMethodLocalObjectsAnalysis

Uses of FlowAnalysis in soot.jimple.toolkits.pointer

Subclasses of FlowAnalysis 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 FlowAnalysis in soot.jimple.toolkits.scalar

Subclasses of FlowAnalysis in soot.jimple.toolkits.scalar

Modifier and Type	Class	Description
class	CommonPrecedingEqualValueAnalysis
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 FlowAnalysis in soot.jimple.toolkits.scalar.pre

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

Modifier and Type	Class	Description
class	DelayabilityAnalysis	Performs a Delayability-analysis on the given graph.
class	DownSafetyAnalysis	Performs an DownSafe-analysis on the given graph.
class	NotIsolatedAnalysis	Performs a Not-Isolated-analysis on the given graph, which is basically the same as an Isolated-analysis (we just return the complement, as it's easier to calculate it).
class	UpSafetyAnalysis	Performs an UpSafe-analysis on the given graph.

Uses of FlowAnalysis in soot.jimple.toolkits.thread.mhp

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

Modifier and Type	Class	Description
class	MonitorAnalysis
class	StartJoinAnalysis

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

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

Modifier and Type	Class	Description
class	MultiRunStatementsFinder

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

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

Modifier and Type	Class	Description
class	LockableReferenceAnalysis	Finds the set of local variables and/or references that represent all of the relevant objects used in a synchronized region, as accessible at the start of that region.
class	StrayRWFinder
class	SynchronizedRegionFinder

Uses of FlowAnalysis in soot.toolkits.graph

Subclasses of FlowAnalysis in soot.toolkits.graph

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

Uses of FlowAnalysis in soot.toolkits.scalar

Subclasses of FlowAnalysis in soot.toolkits.scalar

Modifier and Type	Class	Description
class	BackwardFlowAnalysis<N,A>	Abstract class that provides the fixed point iteration functionality required by all BackwardFlowAnalyses.
class	CombinedDUAnalysis	Analysis that computes live locals, local defs, and local uses all at once.
protected class	FlowSensitiveConstantPropagator.BetterConstantPropagator
class	ForwardFlowAnalysis<N,A>	Abstract class that provides the fixed point iteration functionality required by all ForwardFlowAnalyses.
class	InitAnalysis	An analysis to check whether or not local variables have been initialised.
class	SimpleLocalDefs.FlowAssignment