See: Description
| Interface | Description |
|---|---|
| BoundedFlowSet<T> |
Represents bounded information for flow analysis.
|
| CombinedAnalysis |
Analysis that computes live locals, local defs, and local uses all at once.
|
| FlowSet<T> |
Represents information for flow analysis.
|
| FlowUniverse<E> |
Provides an interface of a flow universe, used by an implementation
of BoundedFlowSet to do complementation.
|
| 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.
|
| LocalUses |
Provides an interface to find the Units that use
a Local defined at a given Unit.
|
| Class | Description |
|---|---|
| AbstractBoundedFlowSet<T> |
provides functional code for most of the methods.
|
| AbstractFlowAnalysis<N,A> |
An abstract class providing a metaframework for carrying out
dataflow analysis.
|
| AbstractFlowSet<T> |
provides functional code for most of the methods.
|
| ArrayFlowUniverse<E> |
Provides an implementation of a flow universe, wrapping arrays.
|
| ArrayPackedSet<T> |
Reference implementation for a BoundedFlowSet.
|
| ArraySparseSet<T> |
Reference implementation for a FlowSet.
|
| BackwardFlowAnalysis<N,A> |
Abstract class that provides the fixed point iteration functionality required
by all BackwardFlowAnalyses.
|
| BinaryIdentitySet<T> |
An optimized kind of
IdentityHashSet that only holds two objects. |
| BranchedFlowAnalysis<N extends Unit,A> |
Abstract class providing functionality for branched flow analysis.
|
| CollectionFlowUniverse<E> |
Provides an implementation of a flow universe, wrapping collections.
|
| CombinedDUAnalysis |
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.
|
| FastColorer |
Provides methods for register coloring.
|
| FlowAnalysis<N,A> |
An abstract class providing a framework for carrying out dataflow analysis.
|
| ForwardBranchedFlowAnalysis<A> |
Abstract class providing an engine for branched forward flow analysis.
|
| ForwardFlowAnalysis<N,A> |
Abstract class that provides the fixed point iteration functionality required
by all ForwardFlowAnalyses.
|
| ForwardFlowAnalysisExtended<N,A> |
Abstract class that provides a fixed-point iteration for forward flow
analyses that need to distinguish between the different successors of a unit
in an exceptional unit graph.
|
| GuaranteedDefs |
Find all locals guaranteed to be defined at (just before) a given
program point.
|
| IdentityPair<T,U> |
Just a pair of arbitrary objects.
|
| InitAnalysis |
An analysis to check whether or not local variables have been initialised.
|
| LiveLocals.Factory | |
| LocalDefs.Factory | |
| 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.
|
| LocalUnitPair |
Utility class used to package a Local and a Unit together.
|
| LocalUses.Factory | |
| ObjectIntMapper<E> |
gives an injection of Objects to ints.
|
| Pair<T,U> |
Just a pair of arbitrary objects.
|
| SimpleLiveLocals |
Analysis that provides an implementation of the LiveLocals interface.
|
| SimpleLocalDefs |
Analysis that provides an implementation of the LocalDefs interface.
|
| SimpleLocalUses |
Analysis that implements the LocalUses interface.
|
| 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.
|
| ValueUnitPair |
Utility class used to package a Value and a Unit together.
|
| Enum | Description |
|---|---|
| FlowAnalysis.Flow |