|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
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. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |