|
||||||||||
| 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 AbstractPAGpublic java.util.Iterator allocSourcesIterator()
allocSourcesIterator in class AbstractPAGpublic java.util.Iterator storeSourcesIterator()
storeSourcesIterator in class AbstractPAGpublic java.util.Iterator loadSourcesIterator()
loadSourcesIterator in class AbstractPAGpublic java.util.Iterator simpleInvSourcesIterator()
simpleInvSourcesIterator in class AbstractPAGpublic java.util.Iterator allocInvSourcesIterator()
allocInvSourcesIterator in class AbstractPAGpublic java.util.Iterator storeInvSourcesIterator()
storeInvSourcesIterator in class AbstractPAGpublic 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 | |||||||||