Uses of Class
soot.toolkits.scalar.AbstractFlowAnalysis

Packages that use AbstractFlowAnalysis

Package	Description
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.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.jimple.toolkits.annotation.nullcheck

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

Modifier and Type	Class and Description
class	BranchedRefVarsAnalysis Deprecated. THIS IS KNOWN TO BE BUGGY. USE NullnessAnalysis INSTEAD!
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) definetely null, definetely 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 definetely null, definetely 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 and 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 and 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 and Description
class	ClinitElimAnalysis

Uses of AbstractFlowAnalysis in soot.jimple.toolkits.infoflow

Subclasses of AbstractFlowAnalysis in soot.jimple.toolkits.infoflow

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

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

Modifier and Type	Class and 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 basicly 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.toolkits.graph

Subclasses of AbstractFlowAnalysis in soot.toolkits.graph

Modifier and Type	Class and 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 and 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.
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.