|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use ForwardFlowAnalysis | |
---|---|
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 ForwardFlowAnalysis in soot.jimple.toolkits.annotation.parity |
---|
Subclasses of ForwardFlowAnalysis in soot.jimple.toolkits.annotation.parity | |
---|---|
class |
ParityAnalysis
|
Uses of ForwardFlowAnalysis in soot.jimple.toolkits.annotation.purity |
---|
Subclasses of ForwardFlowAnalysis in soot.jimple.toolkits.annotation.purity | |
---|---|
class |
PurityIntraproceduralAnalysis
Intra-procedural purity-graph analysis. |
Uses of ForwardFlowAnalysis in soot.jimple.toolkits.callgraph |
---|
Subclasses of ForwardFlowAnalysis in soot.jimple.toolkits.callgraph | |
---|---|
class |
ClinitElimAnalysis
|
Uses of ForwardFlowAnalysis in soot.jimple.toolkits.infoflow |
---|
Subclasses of ForwardFlowAnalysis in soot.jimple.toolkits.infoflow | |
---|---|
class |
SimpleMethodInfoFlowAnalysis
|
class |
SimpleMethodLocalObjectsAnalysis
|
Uses of ForwardFlowAnalysis in soot.jimple.toolkits.pointer |
---|
Subclasses of ForwardFlowAnalysis 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 ForwardFlowAnalysis in soot.jimple.toolkits.scalar |
---|
Subclasses of ForwardFlowAnalysis in soot.jimple.toolkits.scalar | |
---|---|
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 ForwardFlowAnalysis in soot.jimple.toolkits.scalar.pre |
---|
Subclasses of ForwardFlowAnalysis in soot.jimple.toolkits.scalar.pre | |
---|---|
class |
DelayabilityAnalysis
Performs a Delayability-analysis on the given graph. |
class |
UpSafetyAnalysis
Performs an UpSafe-analysis on the given graph. |
Uses of ForwardFlowAnalysis in soot.jimple.toolkits.thread.mhp |
---|
Subclasses of ForwardFlowAnalysis in soot.jimple.toolkits.thread.mhp | |
---|---|
class |
MonitorAnalysis
|
class |
StartJoinAnalysis
|
Uses of ForwardFlowAnalysis in soot.jimple.toolkits.thread.mhp.findobject |
---|
Subclasses of ForwardFlowAnalysis in soot.jimple.toolkits.thread.mhp.findobject | |
---|---|
class |
MultiRunStatementsFinder
|
Uses of ForwardFlowAnalysis in soot.jimple.toolkits.thread.synchronization |
---|
Subclasses of ForwardFlowAnalysis in soot.jimple.toolkits.thread.synchronization | |
---|---|
class |
SynchronizedRegionFinder
|
Uses of ForwardFlowAnalysis in soot.toolkits.graph |
---|
Subclasses of ForwardFlowAnalysis in soot.toolkits.graph | |
---|---|
class |
DominatorAnalysis
Deprecated. use MHGDominatorsFinder instead |
Uses of ForwardFlowAnalysis in soot.toolkits.scalar |
---|
Subclasses of ForwardFlowAnalysis in soot.toolkits.scalar | |
---|---|
class |
InitAnalysis
An analysis to check whether or not local variables have been initialised. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |