Uses of Package
soot.toolkits.scalar

Packages that use soot.toolkits.scalar
soot Base Soot classes, shared by different intermediate representations. 
soot.dava.toolkits.base.AST.structuredAnalysis   
soot.jbco.jimpleTransformations   
soot.jimple.spark.geom.geomPA   
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.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
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.
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
AbstractFlowSet
          provides functional code for most of the methods.
FlowSet
          Represents information for flow analysis.
 

Classes in soot.toolkits.scalar used by soot.jbco.jimpleTransformations
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.
 

Classes in soot.toolkits.scalar used by soot.jimple.spark.geom.geomPA
Pair
          Just a pair of arbitrary objects.
 

Classes in soot.toolkits.scalar used by soot.jimple.spark.ondemand
Pair
          Just a pair of arbitrary objects.
 

Classes in soot.toolkits.scalar used by soot.jimple.spark.ondemand.pautil
Pair
          Just a pair of arbitrary objects.
 

Classes in soot.toolkits.scalar used by soot.jimple.spark.pag
Pair
          Just a pair of arbitrary objects.
 

Classes in soot.toolkits.scalar used by soot.jimple.toolkits.annotation.nullcheck
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
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
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
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
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
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
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
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.jimple.toolkits.thread.mhp
AbstractFlowAnalysis
          An abstract class providing a metaframework 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
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.thread.synchronization
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.
Pair
          Just a pair of arbitrary objects.
 

Classes in soot.toolkits.scalar used by soot.shimple
ValueUnitPair
          Utility class used to package a Value and a Unit together.
 

Classes in soot.toolkits.scalar used by soot.shimple.internal
GuaranteedDefs
          Find all locals guaranteed to be defined at (just before) a given program point.
ValueUnitPair
          Utility class used to package a Value and a Unit together.
 

Classes in soot.toolkits.scalar used by soot.shimple.toolkits.scalar
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.
 

Classes in soot.toolkits.scalar used by soot.toolkits.graph
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
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.
UnusedLocalEliminator
          A BodyTransformer that removes all unused local variables from a given Body.