Package | Description |
---|---|
soot.jimple.spark.ondemand.pautil | |
soot.jimple.spark.pag |
Modifier and Type | Method and Description |
---|---|
LocalVarNode |
ContextSensitiveInfo.getReceiverForVirtCallSite(Integer callSite) |
LocalVarNode |
ContextSensitiveInfo.getReceiverForVirtCallSite(Integer callSite) |
Modifier and Type | Method and Description |
---|---|
Set<Integer> |
ContextSensitiveInfo.getVirtCallSitesForReceiver(LocalVarNode receiver) |
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.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.
|
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.
|
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) |
static String |
PagToDotDumper.makeLabel(LocalVarNode n) |
protected VarNode |
MethodPAG.parameterize(LocalVarNode vn,
Context varNodeParameter) |
protected VarNode |
MethodPAG.parameterize(LocalVarNode vn,
Context varNodeParameter) |