Uses of Class
soot.jimple.spark.sets.PointsToSetInternal

Packages that use PointsToSetInternal

Package	Description
soot.jimple.spark.ondemand
soot.jimple.spark.ondemand.pautil
soot.jimple.spark.pag
soot.jimple.spark.sets
soot.jimple.spark.solver
soot.jimple.toolkits.thread.synchronization

Uses of PointsToSetInternal in soot.jimple.spark.ondemand

Fields in soot.jimple.spark.ondemand with type parameters of type PointsToSetInternal

Modifier and Type	Field	Description
protected Map<DemandCSPointsTo.VarAndContext,Pair<PointsToSetInternal,AllocAndContextSet>>	DemandCSPointsTo.contextsForAllocsCache

Methods in soot.jimple.spark.ondemand that return PointsToSetInternal

Modifier and Type	Method	Description
protected PointsToSetInternal	DemandCSPointsTo.checkContextsForAllocsCache(DemandCSPointsTo.VarAndContext varAndContext, AllocAndContextSet ret, PointsToSetInternal locs)
PointsToSetInternal	WrappedPointsToSet.getWrapped()

Methods in soot.jimple.spark.ondemand with parameters of type PointsToSetInternal

Modifier and Type	Method	Description
protected PointsToSetInternal	DemandCSPointsTo.checkContextsForAllocsCache(DemandCSPointsTo.VarAndContext varAndContext, AllocAndContextSet ret, PointsToSetInternal locs)
protected AllocAndContextSet	DemandCSPointsTo.findContextsForAllocs(DemandCSPointsTo.VarAndContext varAndContext, PointsToSetInternal locs)
protected Set<SootMethod>	DemandCSPointsTo.getCallTargets(PointsToSetInternal p2Set, SootMethod callee, Type receiverType, Set<SootMethod> possibleTargets)
abstract void	DemandCSPointsTo.IncomingEdgeHandler.handleMatchSrc(VarNode matchSrc, PointsToSetInternal intersection, VarNode loadBase, VarNode storeBase, DemandCSPointsTo.VarAndContext origVarAndContext, SparkField field, boolean refine)
protected Set<VarNode>	DemandCSPointsTo.nodesPropagatedThrough(VarNode source, PointsToSetInternal allocs)
protected boolean	DemandCSPointsTo.refineAlias(VarNode v1, VarNode v2, PointsToSetInternal intersection, HeuristicType heuristic)
protected boolean	DemandCSPointsTo.refineAliasInternal(VarNode v1, VarNode v2, PointsToSetInternal intersection, HeuristicType heuristic)
protected boolean	DemandCSPointsTo.refineP2Set(DemandCSPointsTo.VarAndContext varAndContext, PointsToSetInternal badLocs)
protected boolean	DemandCSPointsTo.refineP2Set(VarNode v, PointsToSetInternal badLocs, HeuristicType heuristic)

Constructors in soot.jimple.spark.ondemand with parameters of type PointsToSetInternal

Constructor	Description
WrappedPointsToSet(PointsToSetInternal wrapped)

Uses of PointsToSetInternal in soot.jimple.spark.ondemand.pautil

Methods in soot.jimple.spark.ondemand.pautil that return PointsToSetInternal

Modifier and Type	Method	Description
static PointsToSetInternal	SootUtil.constructIntersection(PointsToSetInternal set1, PointsToSetInternal set2, PAG pag)
PointsToSetInternal	AllocationSiteHandler.PointsToSetHandler.getP2set()

Methods in soot.jimple.spark.ondemand.pautil with parameters of type PointsToSetInternal

Modifier and Type	Method	Description
static PointsToSetInternal	SootUtil.constructIntersection(PointsToSetInternal set1, PointsToSetInternal set2, PAG pag)
void	AllocationSiteHandler.PointsToSetHandler.setP2set(PointsToSetInternal p2set)

Uses of PointsToSetInternal in soot.jimple.spark.pag

Fields in soot.jimple.spark.pag declared as PointsToSetInternal

Modifier and Type	Field	Description
protected PointsToSetInternal	Node.p2set

Methods in soot.jimple.spark.pag that return PointsToSetInternal

Modifier and Type	Method	Description
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.

Methods in soot.jimple.spark.pag with parameters of type PointsToSetInternal

Modifier and Type	Method	Description
void	Node.setP2Set(PointsToSetInternal ptsInternal)	Use the specified points-to set to replace current one

Uses of PointsToSetInternal in soot.jimple.spark.sets

Classes in soot.jimple.spark.sets with type parameters of type PointsToSetInternal

Modifier and Type	Class	Description
class	P2SetFactory<T extends PointsToSetInternal>	Abstract base class for points-to set factory.

Subclasses of PointsToSetInternal in soot.jimple.spark.sets

Modifier and Type	Class	Description
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	SharedHybridSet	A shared representation of a points-to set which uses a bit vector + a list of extra elements, an "overflow list", to make adding single elements fast in most cases.
class	SharedListSet	Implementation of a points-to set as a sorted list of elements, but where similar lists share parts of their data.
class	SortedArraySet	Implementation of points-to set using a sorted array.

Fields in soot.jimple.spark.sets declared as PointsToSetInternal

Modifier and Type	Field	Description
protected PointsToSetInternal	DoublePointsToSet.newSet
protected PointsToSetInternal	DoublePointsToSet.oldSet

Methods in soot.jimple.spark.sets that return PointsToSetInternal

Modifier and Type	Method	Description
PointsToSetInternal	DoublePointsToSet.getNewSet()	Returns set of newly-added nodes since last call to flushNew.
PointsToSetInternal	PointsToSetInternal.getNewSet()	Returns set of newly-added nodes since last call to flushNew.
PointsToSetInternal	DoublePointsToSet.getOldSet()	Returns set of nodes already present before 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

Modifier and Type	Method	Description
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.
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.
boolean	SharedHybridSet.addAll(PointsToSetInternal other, PointsToSetInternal exclude)
boolean	SharedListSet.addAll(PointsToSetInternal other, PointsToSetInternal exclude)
boolean	SortedArraySet.addAll(PointsToSetInternal other, PointsToSetInternal exclude)	Adds contents of other into this set, returns true if this set changed.
protected BitVector	PointsToSetInternal.getBitMask(PointsToSetInternal other, PAG pag)
void	DoublePointsToSet.mergeWith(PointsToSetInternal other)	Merges other into this set.
void	PointsToSetInternal.mergeWith(PointsToSetInternal other)	Merges other into this set.

Uses of PointsToSetInternal in soot.jimple.spark.solver

Fields in soot.jimple.spark.solver with type parameters of type PointsToSetInternal

Modifier and Type	Field	Description
protected Map<FieldRefNode,PointsToSetInternal>	PropAlias.loadSets

Methods in soot.jimple.spark.solver that return PointsToSetInternal

Modifier and Type	Method	Description
protected PointsToSetInternal	PropAlias.getP2Set(FieldRefNode n)
protected PointsToSetInternal	PropAlias.makeP2Set(FieldRefNode n)

Methods in soot.jimple.spark.solver with parameters of type PointsToSetInternal

Modifier and Type	Method	Description
protected void	Checker.checkAll(Node container, PointsToSetInternal nodes, Node upstream)
protected void	MergeChecker.checkAll(Node container, PointsToSetInternal nodes, Node upstream)
void	OnFlyCallGraph.updatedFieldRef(AllocDotField df, PointsToSetInternal ptsi)

Uses of PointsToSetInternal in soot.jimple.toolkits.thread.synchronization

Method parameters in soot.jimple.toolkits.thread.synchronization with type arguments of type PointsToSetInternal

Modifier and Type	Method	Description
MutableEdgeLabelledDirectedGraph<Integer,soot.jimple.toolkits.thread.synchronization.CriticalSection>	DeadlockDetector.detectLocksetDeadlock(Map<Value,Integer> lockToLockNum, List<PointsToSetInternal> lockPTSets)