| Package | Description |
|---|---|
| soot.jimple.spark.ondemand.pautil | |
| soot.jimple.spark.pag |
| Modifier and Type | Method and Description |
|---|---|
LocalVarNode |
ContextSensitiveInfo.getReceiverForVirtCallSite(Integer callSite) |
| Modifier and Type | Method and Description |
|---|---|
Set<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(Object value)
Finds the LocalVarNode for the variable value, or returns null.
|
LocalVarNode |
PAG.makeLocalVarNode(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.
|
static String |
PagToDotDumper.makeLabel(LocalVarNode n) |
protected VarNode |
MethodPAG.parameterize(LocalVarNode vn,
Context varNodeParameter) |
Copyright © 2020 Soot OSS. All rights reserved.