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