public class PropAlias extends Propagator
| Modifier and Type | Field and Description |
|---|---|
protected MultiMap<FieldRefNode,FieldRefNode> |
aliasEdges |
protected Set<VarNode> |
aliasWorkList |
protected Set<FieldRefNode> |
fieldRefWorkList |
protected MultiMap<SparkField,VarNode> |
fieldToBase |
protected Map<FieldRefNode,PointsToSetInternal> |
loadSets |
protected OnFlyCallGraph |
ofcg |
protected Set<FieldRefNode> |
outFieldRefWorkList |
protected PAG |
pag |
protected Set<VarNode> |
varNodeWorkList |
| Modifier and Type | Method and Description |
|---|---|
protected PointsToSetInternal |
getP2Set(FieldRefNode n) |
protected boolean |
handleAllocNode(AllocNode src)
Propagates new points-to information of node src to all its successors.
|
protected boolean |
handleVarNode(VarNode src)
Propagates new points-to information of node src to all its successors.
|
protected PointsToSetInternal |
makeP2Set(FieldRefNode n) |
void |
propagate()
Actually does the propagation.
|
protected Set<FieldRefNode> fieldRefWorkList
protected Set<FieldRefNode> outFieldRefWorkList
protected PAG pag
protected MultiMap<SparkField,VarNode> fieldToBase
protected MultiMap<FieldRefNode,FieldRefNode> aliasEdges
protected Map<FieldRefNode,PointsToSetInternal> loadSets
protected OnFlyCallGraph ofcg
public PropAlias(PAG pag)
public void propagate()
propagate in class Propagatorprotected boolean handleAllocNode(AllocNode src)
protected boolean handleVarNode(VarNode src)
protected final PointsToSetInternal makeP2Set(FieldRefNode n)
protected final PointsToSetInternal getP2Set(FieldRefNode n)
Copyright © 2024 Soot OSS. All rights reserved.