Package soot.toolkits.scalar

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

See:
          Description

Interface Summary
BoundedFlowSet Represents bounded information for flow analysis.
FlowSet Represents information for flow analysis.
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
ArrayPackedSet Reference implementation for a BoundedFlowSet.
ArraySparseSet Reference implementation for a FlowSet.
BackwardFlowAnalysis Abstract class that provides the fixed point iteration functionality required by all BackwardFlowAnalyses.
BranchedFlowAnalysis Abstract class providing functionality for branched flow analysis.
FastColorer Provides methods for register coloring.
FastColorer.UnitInterferenceGraph Implementation of a unit interference graph.
FlowAnalysis An abstract class providing a framework for carrying out dataflow analysis.
FlowUniverse Provides an implementation of a flow universe, used by an implementation of BoundedFlowSet to do complementation.
ForwardBranchedFlowAnalysis Abstract class providing an engine for branched forward flow analysis.
ForwardFlowAnalysis Abstract class that provides the fixed point iteration functionality required by all ForwardFlowAnalyses.
LocalPacker A BodyTransformer that attemps to minimize the number of local variables used in Body by 'reusing' them when possible.
LocalSplitter A BodyTransformer that attemps to indentify and separate uses of a local varible that are independent of each other.
LocalUnitPair Utility class used to package a Local and a Unit together.
SimpleLiveLocals Analysis that provides an implementation of the LiveLocals interface.
SimpleLocalDefs Analysis that provides an implementation of the LocalDefs interface.
SimpleLocalUses Analysis that implements the LocalUses interface.
UnitValueBoxPair Utility class used to package a Unit and a ValueBox together.
UnusedLocalEliminator A BodyTransformer that removes all used local variables from a given Body.
 

Package soot.toolkits.scalar Description

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