soot.jimple.spark.pag
Class BDDMethodPAG

java.lang.Object
  extended bysoot.jimple.spark.pag.AbstractMethodPAG
      extended bysoot.jimple.spark.pag.BDDMethodPAG

public final class BDDMethodPAG
extends AbstractMethodPAG

Part of a pointer assignment graph for a single method.

Author:
Ondrej Lhotak

Field Summary
 Relation alloc
           
 Relation inEdgeSet
           
 Relation internalEdgeSet
           
 Relation loads
           
 Relation outEdgeSet
           
 Relation stores
           
 
Fields inherited from class soot.jimple.spark.pag.AbstractMethodPAG
hasBeenAdded, hasBeenBuilt, nodeFactory
 
Constructor Summary
protected BDDMethodPAG(BDDPAG pag, SootMethod m)
           
 
Method Summary
 void addInEdge(Node src, Node dst)
           
 void addInternalEdge(Node src, Node dst)
           
 void addOutEdge(Node src, Node dst)
           
 void addToPAG(java.lang.Object varNodeParameter)
          Adds this method to the main PAG, with all VarNodes parameterized by varNodeParameter.
 AbstractPAG pag()
           
static BDDMethodPAG v(BDDPAG pag, SootMethod m)
           
 
Methods inherited from class soot.jimple.spark.pag.AbstractMethodPAG
addMiscEdges, build, buildNative, buildNormal, getMethod, nodeFactory, parameterize, parameterize, parameterize, v
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

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
Constructor Detail

BDDMethodPAG

protected BDDMethodPAG(BDDPAG pag,
                       SootMethod m)
Method Detail

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