Uses of Interface
qilin.util.sets.PointsToSet

Packages that use PointsToSet

Package	Description
qilin.core
qilin.pta.tools
qilin.stat
qilin.util
qilin.util.sets	Points-to set data structures reused from Spark in Soot, with plans for more memory-efficient replacements in the future.

Uses of PointsToSet in qilin.core

Methods in qilin.core that return PointsToSet

Modifier and Type	Method	Description
PointsToSet	PointsToAnalysis.reachingObjects(Context c, SootMethod m, Local l)	Returns the set of objects pointed to by variable l in context c.
PointsToSet	PointsToAnalysis.reachingObjects(Context c, SootMethod m, Local l, SootField f)	Returns the set of objects pointed to by instance field f of the objects pointed to by l in context c.
PointsToSet	PointsToAnalysis.reachingObjects(PagNode n)
PointsToSet	PointsToAnalysis.reachingObjects(PointsToSet s, SootField f)	Returns the set of objects pointed to by instance field f of the objects in the PointsToSet s.
PointsToSet	PointsToAnalysis.reachingObjects(SootField f)	Returns the set of objects pointed to by static field f.
PointsToSet	PointsToAnalysis.reachingObjects(SootMethod m, Local l)	Returns the set of objects pointed to by variable l.
PointsToSet	PointsToAnalysis.reachingObjects(SootMethod m, Local l, SootField f)	Returns the set of objects pointed to by instance field f of the objects pointed to by l.
PointsToSet	PTA.reachingObjects(Context c, SootMethod m, Local l)	Returns the set of objects pointed to by variable l in context c.
PointsToSet	PTA.reachingObjects(Context c, SootMethod m, Local l, SootField f)	Returns the set of objects pointed to by instance field f of the objects pointed to by l in context c.
PointsToSet	PTA.reachingObjects(PagNode n)	Returns the set of objects pointed by n: case 1: n is an insensitive node, return objects pointed by n under every possible context. case 2: n is a context-sensitive node, return objects pointed by n under the given context.
PointsToSet	PTA.reachingObjects(PointsToSet s, SootField f)	Returns the set of objects pointed to by instance field f of the objects in the PointsToSet s.
PointsToSet	PTA.reachingObjects(SootField f)
PointsToSet	PTA.reachingObjects(SootMethod m, Local l)	Returns the set of objects pointed to by variable l.
PointsToSet	PTA.reachingObjects(SootMethod m, Local l, SootField f)	Returns the set of objects pointed to by instance field f of the objects pointed to by l.
PointsToSet	PTA.reachingObjectsInternal(AllocNode heap, SparkField f)
PointsToSet	PTA.reachingObjectsInternal(PointsToSet bases, SparkField f)
PointsToSet	PointsToAnalysis.reachingObjectsOfArrayElement(PointsToSet s)	Returns the set of objects pointed to by elements of the arrays in the PointsToSet s.
PointsToSet	PTA.reachingObjectsOfArrayElement(PointsToSet s)	Returns the set of objects pointed to by elements of the arrays in the PointsToSet s.

Methods in qilin.core with parameters of type PointsToSet

Modifier and Type	Method	Description
PointsToSet	PointsToAnalysis.reachingObjects(PointsToSet s, SootField f)	Returns the set of objects pointed to by instance field f of the objects in the PointsToSet s.
PointsToSet	PTA.reachingObjects(PointsToSet s, SootField f)	Returns the set of objects pointed to by instance field f of the objects in the PointsToSet s.
PointsToSet	PTA.reachingObjectsInternal(PointsToSet bases, SparkField f)
PointsToSet	PointsToAnalysis.reachingObjectsOfArrayElement(PointsToSet s)	Returns the set of objects pointed to by elements of the arrays in the PointsToSet s.
PointsToSet	PTA.reachingObjectsOfArrayElement(PointsToSet s)	Returns the set of objects pointed to by elements of the arrays in the PointsToSet s.

Uses of PointsToSet in qilin.pta.tools

Methods in qilin.pta.tools that return PointsToSet

Modifier and Type	Method	Description
PointsToSet	DebloatedPTA.reachingObjects(Context c, SootMethod m, Local l)
PointsToSet	DebloatedPTA.reachingObjects(Context c, SootMethod m, Local l, SootField f)
PointsToSet	DebloatedPTA.reachingObjects(PagNode n)
PointsToSet	DebloatedPTA.reachingObjects(PointsToSet s, SootField f)
PointsToSet	DebloatedPTA.reachingObjects(SootField f)
PointsToSet	DebloatedPTA.reachingObjects(SootMethod m, Local l)
PointsToSet	DebloatedPTA.reachingObjects(SootMethod m, Local l, SootField f)
PointsToSet	DebloatedPTA.reachingObjectsOfArrayElement(PointsToSet s)

Methods in qilin.pta.tools with parameters of type PointsToSet

Modifier and Type	Method	Description
PointsToSet	DebloatedPTA.reachingObjects(PointsToSet s, SootField f)
PointsToSet	DebloatedPTA.reachingObjectsOfArrayElement(PointsToSet s)

Uses of PointsToSet in qilin.stat

Methods in qilin.stat with parameters of type PointsToSet

Modifier and Type	Method	Description
protected Set<Object>	PointsToStat.getPointsToNewExpr(PointsToSet pts)
protected Set<Object>	SimplifiedEvaluator.getPointsToNewExpr(PointsToSet pts)

Method parameters in qilin.stat with type arguments of type PointsToSet

Modifier and Type	Method	Description
void	Exporter.dumpMethodThrowPointsto(Map<SootMethod,PointsToSet> m2pts)

Uses of PointsToSet in qilin.util

Methods in qilin.util with parameters of type PointsToSet

Modifier and Type	Method	Description
static void	PagQueries.printPts(PTA pta, PointsToSet pts)

Uses of PointsToSet in qilin.util.sets

Classes in qilin.util.sets that implement PointsToSet

Modifier and Type	Class	Description
class	UnmodifiablePointsToSet

Methods in qilin.util.sets that return PointsToSet

Modifier and Type	Method	Description
PointsToSet	PointsToSet.toCIPointsToSet()
PointsToSet	UnmodifiablePointsToSet.toCIPointsToSet()

Methods in qilin.util.sets with parameters of type PointsToSet

Modifier and Type	Method	Description
boolean	PointsToSet.hasNonEmptyIntersection(PointsToSet other)	Returns true if this set shares some objects with other.
boolean	UnmodifiablePointsToSet.hasNonEmptyIntersection(PointsToSet other)