Uses of Package
soot.toolkits.scalar

Packages that use soot.toolkits.scalar

Package	Description
soot	Base Soot classes, shared by different intermediate representations.
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.

Classes in soot.toolkits.scalar used by soot

Class and Description
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.
RoboVmLocalPacker A BodyTransformer that attemps to merge back Locals that have same local index and same type It has to be called after TypeAssigner
UnusedLocalEliminator A BodyTransformer that removes all unused local variables from a given Body.

Classes in soot.toolkits.scalar used by soot.jimple.toolkits.annotation.nullcheck

Class and Description
AbstractFlowAnalysis An abstract class providing a metaframework for carrying out dataflow analysis.
BackwardFlowAnalysis Abstract class that provides the fixed point iteration functionality required by all BackwardFlowAnalyses.
BranchedFlowAnalysis Abstract class providing functionality for branched flow analysis.
FlowAnalysis An abstract class providing a framework for carrying out dataflow analysis.
FlowSet Represents information for flow analysis.
ForwardBranchedFlowAnalysis Abstract class providing an engine for branched forward flow analysis.

Classes in soot.toolkits.scalar used by soot.jimple.toolkits.annotation.parity

Class and Description
AbstractFlowAnalysis An abstract class providing a metaframework for carrying out dataflow analysis.
FlowAnalysis An abstract class providing a framework for carrying out dataflow analysis.
ForwardFlowAnalysis Abstract class that provides the fixed point iteration functionality required by all ForwardFlowAnalyses.
LiveLocals Provides an interface for querying for the list of Locals that are live before an after a given unit in a method.

Classes in soot.toolkits.scalar used by soot.jimple.toolkits.annotation.purity

Class and Description
AbstractFlowAnalysis An abstract class providing a metaframework for carrying out dataflow analysis.
FlowAnalysis An abstract class providing a framework for carrying out dataflow analysis.
ForwardFlowAnalysis Abstract class that provides the fixed point iteration functionality required by all ForwardFlowAnalyses.

Classes in soot.toolkits.scalar used by soot.jimple.toolkits.callgraph

Class and Description
AbstractFlowAnalysis An abstract class providing a metaframework for carrying out dataflow analysis.
FlowAnalysis An abstract class providing a framework for carrying out dataflow analysis.
ForwardFlowAnalysis Abstract class that provides the fixed point iteration functionality required by all ForwardFlowAnalyses.

Classes in soot.toolkits.scalar used by soot.jimple.toolkits.infoflow

Class and Description
AbstractFlowAnalysis An abstract class providing a metaframework for carrying out dataflow analysis.
FlowAnalysis An abstract class providing a framework for carrying out dataflow analysis.
FlowSet Represents information for flow analysis.
ForwardFlowAnalysis Abstract class that provides the fixed point iteration functionality required by all ForwardFlowAnalyses.

Classes in soot.toolkits.scalar used by soot.jimple.toolkits.pointer

Class and Description
AbstractFlowAnalysis An abstract class providing a metaframework for carrying out dataflow analysis.
BranchedFlowAnalysis Abstract class providing functionality for branched flow analysis.
FlowAnalysis An abstract class providing a framework for carrying out dataflow analysis.
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.

Classes in soot.toolkits.scalar used by soot.jimple.toolkits.scalar

Class and Description
AbstractFlowAnalysis An abstract class providing a metaframework for carrying out dataflow analysis.
AbstractFlowSet provides functional code for most of the methods.
BackwardFlowAnalysis Abstract class that provides the fixed point iteration functionality required by all BackwardFlowAnalyses.
FlowAnalysis An abstract class providing a framework for carrying out dataflow analysis.
FlowSet Represents information for flow analysis.
ForwardFlowAnalysis Abstract class that provides the fixed point iteration functionality required by all ForwardFlowAnalyses.

Classes in soot.toolkits.scalar used by soot.jimple.toolkits.scalar.pre

Class and Description
AbstractFlowAnalysis An abstract class providing a metaframework for carrying out dataflow analysis.
BackwardFlowAnalysis Abstract class that provides the fixed point iteration functionality required by all BackwardFlowAnalyses.
BoundedFlowSet Represents bounded information for flow analysis.
FlowAnalysis An abstract class providing a framework for carrying out dataflow analysis.
FlowSet Represents information for flow analysis.
ForwardFlowAnalysis Abstract class that provides the fixed point iteration functionality required by all ForwardFlowAnalyses.

Classes in soot.toolkits.scalar used by soot.toolkits.graph

Class and Description
AbstractFlowAnalysis An abstract class providing a metaframework for carrying out dataflow analysis.
BackwardFlowAnalysis Abstract class that provides the fixed point iteration functionality required by all BackwardFlowAnalyses.
FlowAnalysis An abstract class providing a framework for carrying out dataflow analysis.
FlowSet Represents information for flow analysis.
ForwardFlowAnalysis Abstract class that provides the fixed point iteration functionality required by all ForwardFlowAnalyses.

Classes in soot.toolkits.scalar used by soot.toolkits.scalar

Class and Description
AbstractBoundedFlowSet provides functional code for most of the methods.
AbstractFlowAnalysis An abstract class providing a metaframework for carrying out dataflow analysis.
AbstractFlowSet provides functional code for most of the methods.
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.
BoundedFlowSet Represents bounded information for flow analysis.
BranchedFlowAnalysis Abstract class providing functionality for branched flow analysis.
CombinedAnalysis Analysis that computes live locals, local defs, and local uses all at once.
FlowAnalysis An abstract class providing a framework for carrying out dataflow analysis.
FlowSet Represents information for flow analysis.
FlowUniverse Provides an interface of a flow universe, used by an implementation of BoundedFlowSet to do complementation.
ForwardFlowAnalysis Abstract class that provides the fixed point iteration functionality required by all ForwardFlowAnalyses.
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.
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.
LocalUses Provides an interface to find the Units that use a Local defined at a given Unit.
RoboVmLocalPacker A BodyTransformer that attemps to merge back Locals that have same local index and same type It has to be called after TypeAssigner
UnusedLocalEliminator A BodyTransformer that removes all unused local variables from a given Body.