soot.jimple.spark.pag
Class BDDMethodPAG
java.lang.Object
soot.jimple.spark.pag.AbstractMethodPAG
soot.jimple.spark.pag.BDDMethodPAG
- public final class BDDMethodPAG
- extends AbstractMethodPAG
Part of a pointer assignment graph for a single method.
- Author:
- Ondrej Lhotak
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
internalEdgeSet
public final Relation internalEdgeSet
inEdgeSet
public final Relation inEdgeSet
outEdgeSet
public final Relation outEdgeSet
stores
public final Relation stores
loads
public final Relation loads
alloc
public final Relation alloc
BDDMethodPAG
protected BDDMethodPAG(BDDPAG pag,
SootMethod m)
pag
public AbstractPAG pag()
- Specified by:
pag
in class AbstractMethodPAG
v
public static BDDMethodPAG v(BDDPAG pag,
SootMethod m)
addToPAG
public void addToPAG(java.lang.Object varNodeParameter)
- Adds this method to the main PAG, with all VarNodes parameterized by
varNodeParameter.
- Specified by:
addToPAG
in class AbstractMethodPAG
addInternalEdge
public void addInternalEdge(Node src,
Node dst)
- Specified by:
addInternalEdge
in class AbstractMethodPAG
addInEdge
public void addInEdge(Node src,
Node dst)
- Specified by:
addInEdge
in class AbstractMethodPAG
addOutEdge
public void addOutEdge(Node src,
Node dst)
- Specified by:
addOutEdge
in class AbstractMethodPAG