|
|||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use soot.toolkits.scalar | |
soot.dava.toolkits.base.AST.structuredAnalysis | |
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.pointer | |
soot.jimple.toolkits.scalar | A toolkit for scalar optimization of Jimple. |
soot.jimple.toolkits.scalar.pre | Particial redundency elimination. |
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.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.jimple.toolkits.annotation.nullcheck | |
AbstractFlowAnalysis
An abstract class providing a metaframework for carrying out dataflow analysis. |
|
BranchedFlowAnalysis
Abstract class providing functionality for branched flow 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.pointer | |
AbstractFlowAnalysis
An abstract class providing a metaframework for carrying out dataflow analysis. |
|
BranchedFlowAnalysis
Abstract class providing functionality for branched flow analysis. |
|
ForwardBranchedFlowAnalysis
Abstract class providing an engine for branched forward flow analysis. |
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. |
|
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.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. |
|
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.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. |
|
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 |