|
|||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use PointsToSetInternal | |
soot.jimple.spark.pag | |
soot.jimple.spark.sets | |
soot.jimple.spark.solver |
Uses of PointsToSetInternal in soot.jimple.spark.pag |
Fields in soot.jimple.spark.pag declared as PointsToSetInternal | |
protected PointsToSetInternal |
Node.p2set
|
Methods in soot.jimple.spark.pag that return PointsToSetInternal | |
PointsToSetInternal |
Node.getP2Set()
Returns the points-to set for this node. |
PointsToSetInternal |
Node.makeP2Set()
Returns the points-to set for this node, makes it if necessary. |
Uses of PointsToSetInternal in soot.jimple.spark.sets |
Subclasses of PointsToSetInternal in soot.jimple.spark.sets | |
class |
BitPointsToSet
Implementation of points-to set using a bit vector. |
class |
DoublePointsToSet
Implementation of points-to set that holds two sets: one for new elements that have not yet been propagated, and the other for elements that have already been propagated. |
class |
EmptyPointsToSet
Implementation of an empty, immutable points-to set. |
class |
HashPointsToSet
HashSet implementation of points-to set. |
class |
HybridPointsToSet
Hybrid implementation of points-to set, which uses an explicit array for small sets, and a bit vector for large sets. |
class |
SharedPointsToSet
Hybrid implementation of points-to set, which uses an explicit array for small sets, and a bit vector for large sets. |
class |
SortedArraySet
Implementation of points-to set using a sorted array. |
Fields in soot.jimple.spark.sets declared as PointsToSetInternal | |
protected PointsToSetInternal |
DoublePointsToSet.newSet
|
protected PointsToSetInternal |
DoublePointsToSet.oldSet
|
Methods in soot.jimple.spark.sets that return PointsToSetInternal | |
PointsToSetInternal |
DoublePointsToSet.getOldSet()
Returns set of nodes already present before last call to flushNew. |
PointsToSetInternal |
DoublePointsToSet.getNewSet()
Returns set of newly-added nodes since last call to flushNew. |
abstract PointsToSetInternal |
P2SetFactory.newSet(Type type,
PAG pag)
Returns a newly-created set. |
PointsToSetInternal |
PointsToSetInternal.getNewSet()
Returns set of newly-added nodes since last call to flushNew. |
PointsToSetInternal |
PointsToSetInternal.getOldSet()
Returns set of nodes already present before last call to flushNew. |
Methods in soot.jimple.spark.sets with parameters of type PointsToSetInternal | |
boolean |
BitPointsToSet.addAll(PointsToSetInternal other,
PointsToSetInternal exclude)
Adds contents of other into this set, returns true if this set changed. |
boolean |
DoublePointsToSet.addAll(PointsToSetInternal other,
PointsToSetInternal exclude)
Adds contents of other into this set, returns true if this set changed. |
void |
DoublePointsToSet.mergeWith(PointsToSetInternal other)
Merges other into this set. |
boolean |
EmptyPointsToSet.addAll(PointsToSetInternal other,
PointsToSetInternal exclude)
Adds contents of other into this set, returns true if this set changed. |
boolean |
HashPointsToSet.addAll(PointsToSetInternal other,
PointsToSetInternal exclude)
Adds contents of other into this set, returns true if this set changed. |
boolean |
HybridPointsToSet.addAll(PointsToSetInternal other,
PointsToSetInternal exclude)
Adds contents of other into this set, returns true if this set changed. |
boolean |
PointsToSetInternal.addAll(PointsToSetInternal other,
PointsToSetInternal exclude)
Adds contents of other minus the contents of exclude into this set; returns true if this set changed. |
void |
PointsToSetInternal.mergeWith(PointsToSetInternal other)
Merges other into this set. |
boolean |
SharedPointsToSet.addAll(PointsToSetInternal other,
PointsToSetInternal exclude)
Adds contents of other into this set, returns true if this set changed. |
boolean |
SortedArraySet.addAll(PointsToSetInternal other,
PointsToSetInternal exclude)
Adds contents of other into this set, returns true if this set changed. |
Uses of PointsToSetInternal in soot.jimple.spark.solver |
Methods in soot.jimple.spark.solver that return PointsToSetInternal | |
protected PointsToSetInternal |
PropAlias.makeP2Set(FieldRefNode n)
|
protected PointsToSetInternal |
PropAlias.getP2Set(FieldRefNode n)
|
Methods in soot.jimple.spark.solver with parameters of type PointsToSetInternal | |
protected void |
Checker.checkAll(Node container,
PointsToSetInternal nodes,
Node upstream)
|
protected void |
MergeChecker.checkAll(Node container,
PointsToSetInternal nodes,
Node upstream)
|
|
|||||||||||
PREV NEXT | FRAMES NO FRAMES |