|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectsoot.jimple.spark.pag.AbstractPAG
soot.jimple.spark.pag.BDDPAG
Pointer assignment graph.
Fields inherited from class soot.jimple.spark.pag.AbstractPAG |
allocInv, edgeQueue, load, loadInv, maxFinishNumber, simple, simpleInv, store, storeInv, typeManager |
Constructor Summary | |
BDDPAG(soot.options.BDDSparkOptions opts)
|
Method Summary | |
java.util.Iterator |
allocInvSourcesIterator()
|
java.util.Iterator |
allocSourcesIterator()
|
boolean |
doAddAllocEdge(AllocNode from,
VarNode to)
|
boolean |
doAddLoadEdge(FieldRefNode from,
VarNode to)
|
boolean |
doAddSimpleEdge(VarNode from,
VarNode to)
|
boolean |
doAddStoreEdge(VarNode from,
FieldRefNode to)
|
java.util.Iterator |
loadInvSourcesIterator()
|
java.util.Iterator |
loadSourcesIterator()
|
PointsToSet |
reachingObjects(Local l)
Returns the set of objects pointed to by variable l. |
PointsToSet |
reachingObjects(PointsToSet ptset,
SootField f)
Returns the set of objects pointed to by instance field f of the objects in the PointsToSet s. |
PointsToSet |
reachingObjects(SootField f)
Returns the set of objects pointed to by static field f. |
PointsToSet |
reachingObjectsOfArrayElement(PointsToSet ptset)
Returns the set of objects pointed to by elements of the arrays in the PointsToSet s. |
java.util.Iterator |
simpleInvSourcesIterator()
|
java.util.Iterator |
simpleSourcesIterator()
|
java.util.Iterator |
storeInvSourcesIterator()
|
java.util.Iterator |
storeSourcesIterator()
|
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
public PhysicalDomain v1
public PhysicalDomain v2
public PhysicalDomain fd
public PhysicalDomain h1
public PhysicalDomain h2
public PhysicalDomain t1
public PhysicalDomain t2
public Domain var
public Domain src
public Domain dst
public Domain base
public Domain obj
public Domain fld
public final Relation alloc
public final Relation pointsTo
public final Relation edgeSet
public final Relation loads
public final Relation stores
public final Relation fieldPt
Constructor Detail |
public BDDPAG(soot.options.BDDSparkOptions opts)
Method Detail |
public PointsToSet reachingObjects(Local l)
PointsToAnalysis
public PointsToSet reachingObjects(SootField f)
PointsToAnalysis
public PointsToSet reachingObjects(PointsToSet ptset, SootField f)
PointsToAnalysis
public PointsToSet reachingObjectsOfArrayElement(PointsToSet ptset)
PointsToAnalysis
public java.util.Iterator simpleSourcesIterator()
simpleSourcesIterator
in class AbstractPAG
public java.util.Iterator allocSourcesIterator()
allocSourcesIterator
in class AbstractPAG
public java.util.Iterator storeSourcesIterator()
storeSourcesIterator
in class AbstractPAG
public java.util.Iterator loadSourcesIterator()
loadSourcesIterator
in class AbstractPAG
public java.util.Iterator simpleInvSourcesIterator()
simpleInvSourcesIterator
in class AbstractPAG
public java.util.Iterator allocInvSourcesIterator()
allocInvSourcesIterator
in class AbstractPAG
public java.util.Iterator storeInvSourcesIterator()
storeInvSourcesIterator
in class AbstractPAG
public java.util.Iterator loadInvSourcesIterator()
loadInvSourcesIterator
in class AbstractPAG
public boolean doAddSimpleEdge(VarNode from, VarNode to)
doAddSimpleEdge
in class AbstractPAG
public boolean doAddStoreEdge(VarNode from, FieldRefNode to)
doAddStoreEdge
in class AbstractPAG
public boolean doAddLoadEdge(FieldRefNode from, VarNode to)
doAddLoadEdge
in class AbstractPAG
public boolean doAddAllocEdge(AllocNode from, VarNode to)
doAddAllocEdge
in class AbstractPAG
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |