|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use FlowAnalysis | |
---|---|
soot.jbco.jimpleTransformations | |
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.infoflow | |
soot.jimple.toolkits.pointer | |
soot.jimple.toolkits.scalar | A toolkit for scalar optimization of Jimple. |
soot.jimple.toolkits.scalar.pre | Particial redundency elimination. |
soot.jimple.toolkits.thread.mhp | |
soot.jimple.toolkits.thread.mhp.findobject | |
soot.jimple.toolkits.thread.synchronization | |
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 FlowAnalysis in soot.jbco.jimpleTransformations |
---|
Subclasses of FlowAnalysis in soot.jbco.jimpleTransformations | |
---|---|
class |
New2InitFlowAnalysis
|
Uses of FlowAnalysis in soot.jimple.toolkits.annotation.nullcheck |
---|
Subclasses of FlowAnalysis in soot.jimple.toolkits.annotation.nullcheck | |
---|---|
class |
NullnessAssumptionAnalysis
An intraprocedural nullness assumption analysis that computes for each location and each value in a method if the value (before or after that location) is treated as definetely null, definetely non-null or neither. |
Uses of FlowAnalysis in soot.jimple.toolkits.annotation.parity |
---|
Subclasses of FlowAnalysis in soot.jimple.toolkits.annotation.parity | |
---|---|
class |
ParityAnalysis
|
Uses of FlowAnalysis in soot.jimple.toolkits.annotation.purity |
---|
Subclasses of FlowAnalysis in soot.jimple.toolkits.annotation.purity | |
---|---|
class |
PurityIntraproceduralAnalysis
Intra-procedural purity-graph analysis. |
Uses of FlowAnalysis in soot.jimple.toolkits.callgraph |
---|
Subclasses of FlowAnalysis in soot.jimple.toolkits.callgraph | |
---|---|
class |
ClinitElimAnalysis
|
Uses of FlowAnalysis in soot.jimple.toolkits.infoflow |
---|
Subclasses of FlowAnalysis in soot.jimple.toolkits.infoflow | |
---|---|
class |
SimpleMethodInfoFlowAnalysis
|
class |
SimpleMethodLocalObjectsAnalysis
|
Uses of FlowAnalysis in soot.jimple.toolkits.pointer |
---|
Subclasses of FlowAnalysis in soot.jimple.toolkits.pointer | |
---|---|
class |
LocalMustAliasAnalysis
LocalMustAliasAnalysis attempts to determine if two local variables (at two potentially different program points) must point to the same object. |
class |
LocalMustNotAliasAnalysis
LocalNotMayAliasAnalysis attempts to determine if two local variables (at two potentially different program points) definitely point to different objects. |
class |
StrongLocalMustAliasAnalysis
A special version of the local must-alias analysis that takes redefinitions within loops into account. |
Uses of FlowAnalysis in soot.jimple.toolkits.scalar |
---|
Subclasses of FlowAnalysis in soot.jimple.toolkits.scalar | |
---|---|
class |
CommonPrecedingEqualValueAnalysis
|
class |
EqualLocalsAnalysis
|
class |
EqualUsesAnalysis
Deprecated. This class is buggy. Please use soot.jimple.toolkits.pointer.LocalMustAliasAnalysis instead. |
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 FlowAnalysis in soot.jimple.toolkits.scalar.pre |
---|
Subclasses of FlowAnalysis 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 FlowAnalysis in soot.jimple.toolkits.thread.mhp |
---|
Subclasses of FlowAnalysis in soot.jimple.toolkits.thread.mhp | |
---|---|
class |
MonitorAnalysis
|
class |
StartJoinAnalysis
|
Uses of FlowAnalysis in soot.jimple.toolkits.thread.mhp.findobject |
---|
Subclasses of FlowAnalysis in soot.jimple.toolkits.thread.mhp.findobject | |
---|---|
class |
MultiRunStatementsFinder
|
Uses of FlowAnalysis in soot.jimple.toolkits.thread.synchronization |
---|
Subclasses of FlowAnalysis in soot.jimple.toolkits.thread.synchronization | |
---|---|
class |
LockableReferenceAnalysis
|
class |
StrayRWFinder
|
class |
SynchronizedRegionFinder
|
Uses of FlowAnalysis in soot.toolkits.graph |
---|
Subclasses of FlowAnalysis in soot.toolkits.graph | |
---|---|
class |
DominatorAnalysis
Deprecated. use MHGDominatorsFinder instead |
class |
PostDominatorAnalysis
Deprecated. use MHGPostDominatorsFinder instead |
Uses of FlowAnalysis in soot.toolkits.scalar |
---|
Subclasses of FlowAnalysis in soot.toolkits.scalar | |
---|---|
class |
BackwardFlowAnalysis<N,A>
Abstract class that provides the fixed point iteration functionality required by all BackwardFlowAnalyses. |
class |
CombinedDUAnalysis
Analysis that computes live locals, local defs, and local uses all at once. |
class |
ForwardFlowAnalysis<N,A>
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 |