|
||||||||||
| 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 | |||||||||