Package | Description |
---|---|
soot.jimple.spark.pag | |
soot.jimple.spark.solver | |
soot.jimple.toolkits.callgraph |
Modifier and Type | Field and Description |
---|---|
protected Map<SparkField,AllocDotField> |
AllocNode.fields |
protected Map<SparkField,AllocDotField> |
AllocNode.fields |
Modifier and Type | Method and Description |
---|---|
AllocDotField |
AllocNode.dot(SparkField field)
Returns the field ref node having this node as its base, and field as its
field; null if nonexistent.
|
AllocDotField |
AllocNode.dot(SparkField field)
Returns the field ref node having this node as its base, and field as its
field; null if nonexistent.
|
AllocDotField |
PAG.findAllocDotField(AllocNode an,
SparkField field)
Finds the AllocDotField for base AllocNode an and field field, or returns
null.
|
AllocDotField |
PAG.findAllocDotField(AllocNode an,
SparkField field)
Finds the AllocDotField for base AllocNode an and field field, or returns
null.
|
AllocDotField |
PAG.makeAllocDotField(AllocNode an,
SparkField field)
Finds or creates the AllocDotField for base variable baseValue and field
field, of type t.
|
AllocDotField |
PAG.makeAllocDotField(AllocNode an,
SparkField field)
Finds or creates the AllocDotField for base variable baseValue and field
field, of type t.
|
Modifier and Type | Method and Description |
---|---|
Collection<AllocDotField> |
AllocNode.getAllFieldRefs()
Returns all field ref nodes having this node as their base.
|
Collection<AllocDotField> |
AllocNode.getAllFieldRefs()
Returns all field ref nodes having this node as their base.
|
ArrayNumberer<AllocDotField> |
PAG.getAllocDotFieldNodeNumberer() |
ArrayNumberer<AllocDotField> |
PAG.getAllocDotFieldNodeNumberer() |
Set<AllocDotField> |
AllocNode.getFields() |
Set<AllocDotField> |
AllocNode.getFields() |
Modifier and Type | Method and Description |
---|---|
void |
OnFlyCallGraph.updatedFieldRef(AllocDotField df,
PointsToSetInternal ptsi) |
void |
OnFlyCallGraph.updatedFieldRef(AllocDotField df,
PointsToSetInternal ptsi) |
Modifier and Type | Method and Description |
---|---|
void |
OnFlyCallGraphBuilder.addInvokeArgDotField(Local receiver,
AllocDotField dot) |
void |
OnFlyCallGraphBuilder.addInvokeArgDotField(Local receiver,
AllocDotField dot) |
void |
OnFlyCallGraphBuilder.addInvokeArgType(AllocDotField df,
Context context,
Type type) |
void |
OnFlyCallGraphBuilder.addInvokeArgType(AllocDotField df,
Context context,
Type type) |
boolean |
OnFlyCallGraphBuilder.wantArrayField(AllocDotField df) |
boolean |
OnFlyCallGraphBuilder.wantArrayField(AllocDotField df) |