| Package | Description |
|---|---|
| soot.jimple.spark.ondemand.pautil | |
| soot.jimple.spark.pag |
| Modifier and Type | Method and Description |
|---|---|
LocalVarNode |
ContextSensitiveInfo.getReceiverForVirtCallSite(java.lang.Integer callSite) |
LocalVarNode |
ContextSensitiveInfo.getReceiverForVirtCallSite(java.lang.Integer callSite) |
| Modifier and Type | Method and Description |
|---|---|
java.util.Set<java.lang.Integer> |
ContextSensitiveInfo.getVirtCallSitesForReceiver(LocalVarNode receiver) |
java.util.Set<java.lang.Integer> |
ContextSensitiveInfo.getVirtCallSitesForReceiver(LocalVarNode receiver) |
| Modifier and Type | Class and Description |
|---|---|
class |
ContextVarNode
Represents a simple variable node with context.
|
| Modifier and Type | Method and Description |
|---|---|
LocalVarNode |
PAG.findLocalVarNode(java.lang.Object value)
Finds the LocalVarNode for the variable value, or returns null.
|
LocalVarNode |
PAG.findLocalVarNode(java.lang.Object value)
Finds the LocalVarNode for the variable value, or returns null.
|
LocalVarNode |
PAG.makeLocalVarNode(java.lang.Object value,
Type type,
SootMethod method)
Finds or creates the LocalVarNode for the variable value, of type type.
|
LocalVarNode |
PAG.makeLocalVarNode(java.lang.Object value,
Type type,
SootMethod method)
Finds or creates the LocalVarNode for the variable value, of type type.
|
| Modifier and Type | Method and Description |
|---|---|
ContextVarNode |
PAG.makeContextVarNode(LocalVarNode base,
Context context)
Finds or creates the ContextVarNode for base variable base and context
context, of type type.
|
ContextVarNode |
PAG.makeContextVarNode(LocalVarNode base,
Context context)
Finds or creates the ContextVarNode for base variable base and context
context, of type type.
|
static java.lang.String |
PagToDotDumper.makeLabel(LocalVarNode n) |
static java.lang.String |
PagToDotDumper.makeLabel(LocalVarNode n) |
protected VarNode |
MethodPAG.parameterize(LocalVarNode vn,
Context varNodeParameter) |
protected VarNode |
MethodPAG.parameterize(LocalVarNode vn,
Context varNodeParameter) |