Package | Description |
---|---|
soot.jimple.toolkits.pointer |
Modifier and Type | Class and Description |
---|---|
class |
StrongLocalMustAliasAnalysis
A special version of the local must-alias analysis that takes redefinitions within loops into account.
|
Modifier and Type | Field and Description |
---|---|
protected LocalMustAliasAnalysis |
InstanceKey.lmaa |
protected LocalMustAliasAnalysis |
InstanceKey.lmaa |
Constructor and Description |
---|
InstanceKey(Local local,
Stmt stmt,
SootMethod owner,
LocalMustAliasAnalysis lmaa,
LocalMustNotAliasAnalysis lmna)
Creates a new instance key representing the value stored in local, just before
stmt.
|
InstanceKey(Local local,
Stmt stmt,
SootMethod owner,
LocalMustAliasAnalysis lmaa,
LocalMustNotAliasAnalysis lmna)
Creates a new instance key representing the value stored in local, just before
stmt.
|