Package | Description |
---|---|
soot.jimple.spark.ondemand | |
soot.jimple.spark.pag | |
soot.jimple.spark.solver |
Modifier and Type | Method and Description |
---|---|
void |
DotPointerGraph.addLoad(FieldRefNode from,
VarNode to) |
void |
DotPointerGraph.addLoad(FieldRefNode from,
VarNode to) |
void |
DotPointerGraph.addStore(VarNode from,
FieldRefNode to) |
void |
DotPointerGraph.addStore(VarNode from,
FieldRefNode to) |
Modifier and Type | Field and Description |
---|---|
protected Map<SparkField,FieldRefNode> |
VarNode.fields |
protected Map<SparkField,FieldRefNode> |
VarNode.fields |
protected Map<FieldRefNode,Object> |
PAG.load |
protected Map<FieldRefNode,Object> |
PAG.load |
protected Map<FieldRefNode,Object> |
PAG.storeInv |
protected Map<FieldRefNode,Object> |
PAG.storeInv |
Modifier and Type | Method and Description |
---|---|
FieldRefNode |
VarNode.dot(SparkField field)
Returns the field ref node having this node as its base,
and field as its field; null if nonexistent.
|
FieldRefNode |
VarNode.dot(SparkField field)
Returns the field ref node having this node as its base,
and field as its field; null if nonexistent.
|
FieldRefNode |
PAG.findGlobalFieldRefNode(Object baseValue,
SparkField field)
Finds the FieldRefNode for base variable value and field field, or
returns null.
|
FieldRefNode |
PAG.findGlobalFieldRefNode(Object baseValue,
SparkField field)
Finds the FieldRefNode for base variable value and field field, or
returns null.
|
FieldRefNode |
PAG.findLocalFieldRefNode(Object baseValue,
SparkField field)
Finds the FieldRefNode for base variable value and field field, or
returns null.
|
FieldRefNode |
PAG.findLocalFieldRefNode(Object baseValue,
SparkField field)
Finds the FieldRefNode for base variable value and field field, or
returns null.
|
FieldRefNode |
PAG.makeFieldRefNode(VarNode base,
SparkField field)
Finds or creates the FieldRefNode for base variable base and field field,
of type type.
|
FieldRefNode |
PAG.makeFieldRefNode(VarNode base,
SparkField field)
Finds or creates the FieldRefNode for base variable base and field field,
of type type.
|
FieldRefNode |
PAG.makeGlobalFieldRefNode(Object baseValue,
Type baseType,
SparkField field)
Finds or creates the FieldRefNode for base variable baseValue and field
field, of type type.
|
FieldRefNode |
PAG.makeGlobalFieldRefNode(Object baseValue,
Type baseType,
SparkField field)
Finds or creates the FieldRefNode for base variable baseValue and field
field, of type type.
|
FieldRefNode |
PAG.makeLocalFieldRefNode(Object baseValue,
Type baseType,
SparkField field,
SootMethod method)
Finds or creates the FieldRefNode for base variable baseValue and field
field, of type type.
|
FieldRefNode |
PAG.makeLocalFieldRefNode(Object baseValue,
Type baseType,
SparkField field,
SootMethod method)
Finds or creates the FieldRefNode for base variable baseValue and field
field, of type type.
|
protected FieldRefNode |
MethodPAG.parameterize(FieldRefNode frn,
Context varNodeParameter) |
protected FieldRefNode |
MethodPAG.parameterize(FieldRefNode frn,
Context varNodeParameter) |
Modifier and Type | Method and Description |
---|---|
Collection<FieldRefNode> |
VarNode.getAllFieldRefs()
Returns all field ref nodes having this node as their base.
|
Collection<FieldRefNode> |
VarNode.getAllFieldRefs()
Returns all field ref nodes having this node as their base.
|
ArrayNumberer<FieldRefNode> |
PAG.getFieldRefNodeNumberer() |
ArrayNumberer<FieldRefNode> |
PAG.getFieldRefNodeNumberer() |
Set<FieldRefNode> |
PAG.loadSources() |
Set<FieldRefNode> |
PAG.loadSources() |
Iterator<FieldRefNode> |
PAG.loadSourcesIterator() |
Iterator<FieldRefNode> |
PAG.loadSourcesIterator() |
Set<FieldRefNode> |
PAG.storeInvSources() |
Set<FieldRefNode> |
PAG.storeInvSources() |
Iterator<FieldRefNode> |
PAG.storeInvSourcesIterator() |
Iterator<FieldRefNode> |
PAG.storeInvSourcesIterator() |
Modifier and Type | Field and Description |
---|---|
protected MultiMap<FieldRefNode,FieldRefNode> |
PropAlias.aliasEdges |
protected MultiMap<FieldRefNode,FieldRefNode> |
PropAlias.aliasEdges |
protected MultiMap<FieldRefNode,FieldRefNode> |
PropAlias.aliasEdges |
protected MultiMap<FieldRefNode,FieldRefNode> |
PropAlias.aliasEdges |
protected Set<FieldRefNode> |
PropAlias.fieldRefWorkList |
protected Set<FieldRefNode> |
PropAlias.fieldRefWorkList |
protected LargeNumberedMap<FieldRefNode,PointsToSetInternal> |
PropAlias.loadSets |
protected LargeNumberedMap<FieldRefNode,PointsToSetInternal> |
PropAlias.loadSets |
protected Set<FieldRefNode> |
PropAlias.outFieldRefWorkList |
protected Set<FieldRefNode> |
PropAlias.outFieldRefWorkList |
Modifier and Type | Method and Description |
---|---|
protected PointsToSetInternal |
PropAlias.getP2Set(FieldRefNode n) |
protected PointsToSetInternal |
PropAlias.getP2Set(FieldRefNode n) |
protected void |
PropWorklist.handleFieldRefNode(FieldRefNode src,
HashSet<Object[]> edgesToPropagate)
Propagates new points-to information of node src to all its successors.
|
protected void |
PropWorklist.handleFieldRefNode(FieldRefNode src,
HashSet<Object[]> edgesToPropagate)
Propagates new points-to information of node src to all its successors.
|
protected void |
Checker.handleLoads(FieldRefNode src) |
protected void |
MergeChecker.handleLoads(FieldRefNode src) |
protected boolean |
PropIter.handleLoads(FieldRefNode src) |
protected boolean |
PropIter.handleLoads(FieldRefNode src) |
protected void |
Checker.handleLoads(FieldRefNode src) |
protected void |
MergeChecker.handleLoads(FieldRefNode src) |
protected PointsToSetInternal |
PropAlias.makeP2Set(FieldRefNode n) |
protected PointsToSetInternal |
PropAlias.makeP2Set(FieldRefNode n) |