Uses of Class
soot.toolkits.scalar.AbstractFlowAnalysis

Packages that use AbstractFlowAnalysis

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 AbstractFlowAnalysis in soot.jbco.jimpleTransformations

Subclasses of AbstractFlowAnalysis in soot.jbco.jimpleTransformations

Modifier and Type	Class	Description
class	New2InitFlowAnalysis

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

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

Modifier and Type	Class	Description
class	BranchedRefVarsAnalysis	Deprecated. THIS IS KNOWN TO BE BUGGY.
class	NullnessAnalysis	An intraprocedural nullness analysis that computes for each location and each value in a method if the value is (before or after that location) definitely null, definitely non-null or neither.
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 AbstractFlowAnalysis in soot.jimple.toolkits.annotation.parity

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

Modifier and Type	Class	Description
class	ParityAnalysis

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

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

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

Uses of AbstractFlowAnalysis in soot.jimple.toolkits.callgraph

Subclasses of AbstractFlowAnalysis in soot.jimple.toolkits.callgraph

Modifier and Type	Class	Description
class	ClinitElimAnalysis
class	ConstantArrayAnalysis

Uses of AbstractFlowAnalysis in soot.jimple.toolkits.infoflow

Subclasses of AbstractFlowAnalysis in soot.jimple.toolkits.infoflow

Modifier and Type	Class	Description
class	SimpleMethodInfoFlowAnalysis
class	SimpleMethodLocalObjectsAnalysis

Uses of AbstractFlowAnalysis in soot.jimple.toolkits.pointer

Subclasses of AbstractFlowAnalysis in soot.jimple.toolkits.pointer

Modifier and Type	Class	Description
class	CastCheckEliminator	A flow analysis that detects redundant cast checks.
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 AbstractFlowAnalysis in soot.jimple.toolkits.scalar

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

Subclasses of AbstractFlowAnalysis 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 AbstractFlowAnalysis in soot.jimple.toolkits.thread.mhp

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

Modifier and Type	Class	Description
class	MonitorAnalysis
class	StartJoinAnalysis

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

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

Modifier and Type	Class	Description
class	MultiRunStatementsFinder

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

Subclasses of AbstractFlowAnalysis 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 AbstractFlowAnalysis in soot.toolkits.graph

Subclasses of AbstractFlowAnalysis in soot.toolkits.graph

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

Uses of AbstractFlowAnalysis in soot.toolkits.scalar

Subclasses of AbstractFlowAnalysis 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	BranchedFlowAnalysis<N extends Unit,A>	Abstract class providing functionality for branched flow analysis.
class	CombinedDUAnalysis	Analysis that computes live locals, local defs, and local uses all at once.
class	FlowAnalysis<N,A>	An abstract class providing a framework for carrying out dataflow analysis.
protected class	FlowSensitiveConstantPropagator.BetterConstantPropagator
class	ForwardBranchedFlowAnalysis<A>	Abstract class providing an engine for branched forward flow analysis.
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