|
|||||||||||
| PREV NEXT | FRAMES NO FRAMES | ||||||||||
| Packages that use AbstractFlowAnalysis | |
| 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.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. |
| Uses of AbstractFlowAnalysis in soot.jimple.toolkits.annotation.nullcheck |
| Subclasses of AbstractFlowAnalysis in soot.jimple.toolkits.annotation.nullcheck | |
class |
BranchedRefVarsAnalysis
|
| Uses of AbstractFlowAnalysis in soot.jimple.toolkits.annotation.parity |
| Subclasses of AbstractFlowAnalysis in soot.jimple.toolkits.annotation.parity | |
class |
ParityAnalysis
|
| Uses of AbstractFlowAnalysis in soot.jimple.toolkits.annotation.purity |
| Subclasses of AbstractFlowAnalysis in soot.jimple.toolkits.annotation.purity | |
class |
PurityIntraproceduralAnalysis
Intra-procedural purity-graph analysis. |
| Uses of AbstractFlowAnalysis in soot.jimple.toolkits.callgraph |
| Subclasses of AbstractFlowAnalysis in soot.jimple.toolkits.callgraph | |
class |
ClinitElimAnalysis
|
| Uses of AbstractFlowAnalysis in soot.jimple.toolkits.pointer |
| Subclasses of AbstractFlowAnalysis in soot.jimple.toolkits.pointer | |
class |
CastCheckEliminator
A flow analysis that detects redundant cast checks. |
| Uses of AbstractFlowAnalysis in soot.jimple.toolkits.scalar |
| Subclasses of AbstractFlowAnalysis in soot.jimple.toolkits.scalar | |
class |
FastAvailableExpressionsAnalysis
Implements an available expressions analysis on local variables. |
class |
PessimisticAvailableExpressionsAnalysis
Implements an available expressions analysis on local variables. |
class |
SlowAvailableExpressionsAnalysis
Implements an available expressions analysis on local variables. |
| Uses of AbstractFlowAnalysis in soot.jimple.toolkits.scalar.pre |
| Subclasses of AbstractFlowAnalysis in soot.jimple.toolkits.scalar.pre | |
class |
DelayabilityAnalysis
Performs a Delayability-analysis on the given graph. |
class |
DownSafetyAnalysis
Performs an DownSafe-analysis on the given graph. |
class |
NotIsolatedAnalysis
Performs a Not-Isolated-analysis on the given graph, which is basicly the same as an Isolated-analysis (we just return the complement, as it's easier to calculate it). |
class |
UpSafetyAnalysis
Performs an UpSafe-analysis on the given graph. |
| Uses of AbstractFlowAnalysis in soot.toolkits.graph |
| Subclasses of AbstractFlowAnalysis in soot.toolkits.graph | |
class |
DominatorAnalysis
|
| Uses of AbstractFlowAnalysis in soot.toolkits.scalar |
| Subclasses of AbstractFlowAnalysis in soot.toolkits.scalar | |
class |
BackwardFlowAnalysis
Abstract class that provides the fixed point iteration functionality required by all BackwardFlowAnalyses. |
class |
BranchedFlowAnalysis
Abstract class providing functionality for branched flow analysis. |
class |
CombinedDUAnalysis
Analysis that computes live locals, local defs, and local uses all at once. |
class |
FlowAnalysis
An abstract class providing a framework for carrying out dataflow analysis. |
class |
ForwardBranchedFlowAnalysis
Abstract class providing an engine for branched forward flow analysis. |
class |
ForwardFlowAnalysis
Abstract class that provides the fixed point iteration functionality required by all ForwardFlowAnalyses. |
class |
InitAnalysis
An analysis to check whether or not local variables have been initialised. |
|
|||||||||||
| PREV NEXT | FRAMES NO FRAMES | ||||||||||