| 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 |
| 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 |
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.
|
| Modifier and Type | Method and Description |
|---|---|
Collection<AllocDotField> |
AllocNode.getAllFieldRefs()
Returns all field ref nodes having this node as their base.
|
ArrayNumberer<AllocDotField> |
PAG.getAllocDotFieldNodeNumberer() |
Set<AllocDotField> |
AllocNode.getFields() |
| Modifier and Type | Method and Description |
|---|---|
void |
OnFlyCallGraph.updatedFieldRef(AllocDotField df,
PointsToSetInternal ptsi) |
| Modifier and Type | Field and Description |
|---|---|
protected MultiMap<AllocDotField,Local> |
OnFlyCallGraphBuilder.allocDotFieldToLocal |
| Modifier and Type | Method and Description |
|---|---|
void |
OnFlyCallGraphBuilder.addInvokeArgDotField(Local receiver,
AllocDotField dot) |
void |
OnFlyCallGraphBuilder.addInvokeArgType(AllocDotField df,
Context context,
Type type) |
boolean |
OnFlyCallGraphBuilder.wantArrayField(AllocDotField df) |
Copyright © 2020 Soot OSS. All rights reserved.