Class and Description |
---|
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
variable that are independent of each other.
|
Pair
Just a pair of arbitrary objects.
|
SmartLocalDefsPool
This class implements a pool for
SmartLocalDefs instances. |
UnusedLocalEliminator
A BodyTransformer that removes all unused local variables from a given Body.
|
Class and Description |
---|
AbstractFlowSet
provides functional code for most of the methods.
|
FlowSet
Represents information for flow analysis.
|
Class and Description |
---|
LocalDefs
Provides an interface for querying for the definitions of a Local
at a given Unit in a method.
|
LocalSplitter
A BodyTransformer that attemps to indentify and separate uses of a local
variable that are independent of each other.
|
LocalUses
Provides an interface to find the Units that use
a Local defined at a given Unit.
|
Class and Description |
---|
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.
|
Class and Description |
---|
Pair
Just a pair of arbitrary objects.
|
Class and Description |
---|
Pair
Just a pair of arbitrary objects.
|
Class and Description |
---|
Pair
Just a pair of arbitrary objects.
|
Class and Description |
---|
Pair
Just a pair of arbitrary objects.
|
Class and Description |
---|
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.
|
Class and Description |
---|
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.
|
Class and Description |
---|
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.
|
Class and Description |
---|
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.
|
Class and Description |
---|
Pair
Just a pair of arbitrary objects.
|
Class and Description |
---|
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.
|
Pair
Just a pair of arbitrary objects.
|
Class and Description |
---|
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.
|
Class and Description |
---|
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.
|
UnitValueBoxPair
Utility class used to package a Unit and a ValueBox together.
|
Class and Description |
---|
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.
|
Class and Description |
---|
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.
|
Class and Description |
---|
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.
|
Class and Description |
---|
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.
|
Class and Description |
---|
ValueUnitPair
Utility class used to package a Value and a Unit together.
|
Class and Description |
---|
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.
|
Class and Description |
---|
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.
|
Class and Description |
---|
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.
|
Class and Description |
---|
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.
|
ConstantInitializerToTagTransformer
This is the reverse operation of the
ConstantValueToInitializerTransformer . |
ConstantValueToInitializerTransformer
Transformer that creates a static initializer which sets constant values
into final static fields to emulate the initializations that are done
through the constant table in CLASS and DEX code, but that are not supported
by Jimple.
|
FlowAnalysis
An abstract class providing a framework for carrying out dataflow analysis.
|
FlowAnalysis.Flow |
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
variable that are independent of each other.
|
LocalUses
Provides an interface to find the Units that use
a Local defined at a given Unit.
|
Pair
Just a pair of arbitrary objects.
|
SmartLocalDefs
Analysis that provides an implementation of the LocalDefs interface.
|
SmartLocalDefsPool
This class implements a pool for
SmartLocalDefs instances. |
UnitValueBoxPair
Utility class used to package a Unit and a ValueBox together.
|
UnusedLocalEliminator
A BodyTransformer that removes all unused local variables from a given Body.
|