Uses of Package
soot.toolkits.scalar

Packages that use soot.toolkits.scalar

Package	Description
soot	Base Soot classes, shared by different intermediate representations.
soot.dava.toolkits.base.AST.structuredAnalysis
soot.dexpler
soot.dotnet.instructions
soot.jbco.jimpleTransformations
soot.jimple.spark.geom.dataRep
soot.jimple.spark.ondemand
soot.jimple.spark.ondemand.pautil
soot.jimple.spark.pag
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.ide.exampleproblems
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.shimple	Public classes for the SSA Shimple intermediate representation.
soot.shimple.internal	Shimple internal messy stuff.
soot.shimple.toolkits.scalar	Some analyses based on Shimple.
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
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;
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.
Pair 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.
SmartLocalDefsPool This class implements a pool for SmartLocalDefs instances.
UnusedLocalEliminator A BodyTransformer that removes all unused local variables from a given Body.

Classes in soot.toolkits.scalar used by soot.dava.toolkits.base.AST.structuredAnalysis

Class and Description
AbstractFlowSet provides functional code for most of the methods.
FlowSet Represents information for flow analysis.

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

Class and Description
LocalDefs Provides an interface for querying for the definitions of a Local at a given Unit in a method.
LocalSplitter A BodyTransformer that attempts to identify and separate uses of a local variable that are independent of each other.
LocalUses Provides an interface to find the Units that use a Local defined at a given Unit.

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

Class and Description
Pair Just a pair of arbitrary objects.

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

Class and Description
AbstractFlowAnalysis An abstract class providing a meta-framework 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.

Classes in soot.toolkits.scalar used by soot.jimple.spark.geom.dataRep

Class and Description
Pair Just a pair of arbitrary objects.

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

Class and Description
Pair Just a pair of arbitrary objects.

Classes in soot.toolkits.scalar used by soot.jimple.spark.ondemand.pautil

Class and Description
Pair Just a pair of arbitrary objects.

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

Class and Description
Pair Just a pair of arbitrary objects.

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

Class and Description
AbstractFlowAnalysis An abstract class providing a meta-framework 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 meta-framework 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 meta-framework 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 meta-framework 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.
Pair Just a pair of arbitrary objects.

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

Class and Description
Pair Just a pair of arbitrary objects.

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

Class and Description
AbstractFlowAnalysis An abstract class providing a meta-framework 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.
Pair Just a pair of arbitrary objects.

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

Class and Description
AbstractFlowAnalysis An abstract class providing a meta-framework 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 meta-framework 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.
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.
UnitValueBoxPair Utility class used to package a Unit and a ValueBox together.

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

Class and Description
AbstractFlowAnalysis An abstract class providing a meta-framework 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.jimple.toolkits.thread.mhp

Class and Description
AbstractFlowAnalysis An abstract class providing a meta-framework for carrying out dataflow analysis.
AbstractFlowSet provides functional code for most of the methods.
ArraySparseSet Reference implementation for a FlowSet.
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.thread.mhp.findobject

Class and Description
AbstractFlowAnalysis An abstract class providing a meta-framework 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.thread.synchronization

Class and Description
AbstractFlowAnalysis An abstract class providing a meta-framework 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.
Pair Just a pair of arbitrary objects.

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

Class and Description
ValueUnitPair Utility class used to package a Value and a Unit together.

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

Class and Description
ValueUnitPair Utility class used to package a Value and a Unit together.

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

Class and Description
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.
UnitValueBoxPair Utility class used to package a Unit and a ValueBox together.

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

Class and Description
AbstractFlowAnalysis An abstract class providing a meta-framework 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 meta-framework 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.
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.
FlowAnalysis An abstract class providing a framework for carrying out dataflow analysis.
FlowAnalysis.Flow
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.BetterConstantPropagator
FlowSensitiveConstantPropagator.ConstantState
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.
HashSparseSet Reference implementation for a FlowSet.
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 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.
LocalUses Provides an interface to find the Units that use a Local defined at a given Unit.
ObjectIntMapper Gives an injection of Objects to ints.
Pair 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.
SimpleLocalDefs.FlowAnalysisMode The different modes in which the flow analysis can run
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.