soot.jimple.spark.solver
Class PropAlias
java.lang.Object
soot.jimple.spark.solver.Propagator
soot.jimple.spark.solver.PropAlias
- public final class PropAlias
- extends Propagator
Propagates points-to sets along pointer assignment graph using a relevant
aliases.
- Author:
- Ondrej Lhotak
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
varNodeWorkList
protected final Set varNodeWorkList
aliasWorkList
protected Set aliasWorkList
fieldRefWorkList
protected Set fieldRefWorkList
outFieldRefWorkList
protected Set outFieldRefWorkList
pag
protected PAG pag
fieldToBase
protected MultiMap fieldToBase
aliasEdges
protected MultiMap aliasEdges
loadSets
protected LargeNumberedMap loadSets
ofcg
protected OnFlyCallGraph ofcg
PropAlias
public PropAlias(PAG pag)
propagate
public final void propagate()
- Actually does the propagation.
- Specified by:
propagate
in class Propagator
handleAllocNode
protected final boolean handleAllocNode(AllocNode src)
- Propagates new points-to information of node src to all its
successors.
handleVarNode
protected final boolean handleVarNode(VarNode src)
- Propagates new points-to information of node src to all its
successors.
makeP2Set
protected final PointsToSetInternal makeP2Set(FieldRefNode n)
getP2Set
protected final PointsToSetInternal getP2Set(FieldRefNode n)