Package soot.toolkits.scalar

A number of scalar optimizations, and the flow analysis framework.

Interface Summary

Interface	Description
BoundedFlowSet<T>	Represents bounded information for flow analysis.
CombinedAnalysis	Analysis that computes live locals, local defs, and local uses all at once.
FlowSet<T>	Represents information for flow analysis.
FlowUniverse<E>	Provides an interface of a flow universe, used by an implementation of BoundedFlowSet to do complementation.
LiveLocals	Provides an interface for querying for the list of Locals that are live before an after a given unit in a method.
LocalDefs	Provides an interface for querying for the definitions of a Local at a given Unit in a method.
LocalUses	Provides an interface to find the Units that use a Local defined at a given Unit.

Class Summary

Class	Description
AbstractBoundedFlowSet<T>	provides functional code for most of the methods.
AbstractFlowAnalysis<N,A>	An abstract class providing a meta-framework for carrying out dataflow analysis.
AbstractFlowSet<T>	provides functional code for most of the methods.
ArrayFlowUniverse<E>	Provides an implementation of a flow universe, wrapping arrays.
ArrayPackedSet<T>	Reference implementation for a BoundedFlowSet.
ArraySparseSet<T>	Reference implementation for a FlowSet.
BackwardFlowAnalysis<N,A>	Abstract class that provides the fixed point iteration functionality required by all BackwardFlowAnalyses.
BinaryIdentitySet<T>	An optimized kind of IdentityHashSet that only holds two objects.
BranchedFlowAnalysis<N extends Unit,A>	Abstract class providing functionality for branched flow analysis.
CollectionFlowUniverse<E>	Provides an implementation of a flow universe, wrapping collections.
CombinedDUAnalysis	Analysis that computes live locals, local defs, and local uses all at once.
ConstantInitializerToTagTransformer	This is the reverse operation of the ConstantValueToInitializerTransformer.
ConstantValueToInitializerTransformer	Transformer that creates a static initializer which sets constant values into final static fields to emulate the initializations that are done through the constant table in CLASS and DEX code, but that are not supported by Jimple.
FastColorer	Provides methods for register coloring.
FlowAnalysis<N,A>	An abstract class providing a framework for carrying out dataflow analysis.
FlowSensitiveConstantPropagator	A constant propagator which can cope with cases like a = 2; b = a; a = b; as well as if (x) { a = 2; } else { a = 2; } b = a;
FlowSensitiveConstantPropagator.ConstantState
ForwardBranchedFlowAnalysis<A>	Abstract class providing an engine for branched forward flow analysis.
ForwardFlowAnalysis<N,A>	Abstract class that provides the fixed point iteration functionality required by all ForwardFlowAnalyses.
ForwardFlowAnalysisExtended<N,A>	Abstract class that provides a fixed-point iteration for forward flow analyses that need to distinguish between the different successors of a unit in an exceptional unit graph.
GuaranteedDefs	Find all locals guaranteed to be defined at (just before) a given program point.
HashSparseSet<T>	Reference implementation for a FlowSet.
IdentityPair<T,U>	Just a pair of arbitrary objects.
InitAnalysis	An analysis to check whether or not local variables have been initialised.
LiveLocals.Factory
LocalDefsFactory	The default implementation of local defs.
LocalPacker	A BodyTransformer that attempts to minimize the number of local variables used in Body by 'reusing' them when possible.
LocalSplitter	A BodyTransformer that attempts to identify and separate uses of a local variable that are independent of each other.
LocalUnitPair	Utility class used to package a Local and a Unit together.
LocalUses.Factory
ObjectIntMapper<E>	Gives an injection of Objects to ints.
Pair<T,U>	Just a pair of arbitrary objects.
SharedInitializationLocalSplitter	There is a problem with the following code $u2#6 = 0; interfaceinvoke $u5#30.($u4, $u2#6); interfaceinvoke $u5#56.($u4, $u2#6); since $u2#6 will be boolean as well as int.
SimpleLiveLocals	Analysis that provides an implementation of the LiveLocals interface.
SimpleLocalDefs	Analysis that provides an implementation of the LocalDefs interface.
SimpleLocalDefs.StaticSingleAssignment
SimpleLocalUses	Analysis that implements the LocalUses interface.
SmartLocalDefs	Analysis that provides an implementation of the LocalDefs interface.
SmartLocalDefsPool	This class implements a pool for SmartLocalDefs instances.
UnitValueBoxPair	Utility class used to package a Unit and a ValueBox together.
UnusedLocalEliminator	A BodyTransformer that removes all unused local variables from a given Body.
ValueUnitPair	Utility class used to package a Value and a Unit together.

Enum Summary

Enum	Description
FlowAnalysis.Flow
SimpleLocalDefs.FlowAnalysisMode	The different modes in which the flow analysis can run