|
|||||||||||
| PREV NEXT | FRAMES NO FRAMES | ||||||||||
| Packages that use soot.toolkits.scalar | |
| 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.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.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.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 | |
| 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.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 | ||||||||||