Uses of Interface
qilin.core.sets.PointsToSet
Package
Description
Generally useful utility classes for Soot.
-
Uses of PointsToSet in qilin.core
Modifier and TypeMethodDescriptionPointsToAnalysis.reachingObjects
(Context c, SootMethod m, Local l) Returns the set of objects pointed to by variable l in context c.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.PointsToAnalysis.reachingObjects
(Node n) PointsToAnalysis.reachingObjects
(PointsToSet s, SootField f) Returns the set of objects pointed to by instance field f of the objects in the PointsToSet s.PointsToAnalysis.reachingObjects
(SootField f) Returns the set of objects pointed to by static field f.PointsToAnalysis.reachingObjects
(SootMethod m, Local l) Returns the set of objects pointed to by variable l.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.PTA.reachingObjects
(Context c, SootMethod m, Local l) Returns the set of objects pointed to by variable l in context c.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.PTA.reachingObjects
(Node 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.PTA.reachingObjects
(PointsToSet s, SootField f) Returns the set of objects pointed to by instance field f of the objects in the PointsToSet s.PTA.reachingObjects
(SootField f) PTA.reachingObjects
(SootMethod m, Local l) Returns the set of objects pointed to by variable l.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.PTA.reachingObjectsInternal
(AllocNode heap, SparkField f) PTA.reachingObjectsInternal
(PointsToSet bases, SparkField f) PointsToAnalysis.reachingObjectsOfArrayElement
(PointsToSet s) Returns the set of objects pointed to by elements of the arrays in the PointsToSet s.Returns the set of objects pointed to by elements of the arrays in the PointsToSet s.Modifier and TypeMethodDescriptionPointsToAnalysis.reachingObjects
(PointsToSet s, SootField f) Returns the set of objects pointed to by instance field f of the objects in the PointsToSet s.PTA.reachingObjects
(PointsToSet s, SootField f) Returns the set of objects pointed to by instance field f of the objects in the PointsToSet s.PTA.reachingObjectsInternal
(PointsToSet bases, SparkField f) PointsToAnalysis.reachingObjectsOfArrayElement
(PointsToSet s) Returns the set of objects pointed to by elements of the arrays in the PointsToSet s.Returns the set of objects pointed to by elements of the arrays in the PointsToSet s. -
Uses of PointsToSet in qilin.core.sets
Modifier and TypeMethodDescriptionPointsToSet.toCIPointsToSet()
UnmodifiablePointsToSet.toCIPointsToSet()
Modifier and TypeMethodDescriptionboolean
PointsToSet.hasNonEmptyIntersection
(PointsToSet other) Returns true if this set shares some objects with other.boolean
UnmodifiablePointsToSet.hasNonEmptyIntersection
(PointsToSet other) -
Uses of PointsToSet in qilin.pta.tools
Modifier and TypeMethodDescriptionDebloatedPTA.reachingObjects
(Context c, SootMethod m, Local l) DebloatedPTA.reachingObjects
(Context c, SootMethod m, Local l, SootField f) DebloatedPTA.reachingObjects
(Node n) DebloatedPTA.reachingObjects
(PointsToSet s, SootField f) DebloatedPTA.reachingObjects
(SootField f) DebloatedPTA.reachingObjects
(SootMethod m, Local l) DebloatedPTA.reachingObjects
(SootMethod m, Local l, SootField f) DebloatedPTA.reachingObjectsOfArrayElement
(PointsToSet s) Modifier and TypeMethodDescriptionDebloatedPTA.reachingObjects
(PointsToSet s, SootField f) DebloatedPTA.reachingObjectsOfArrayElement
(PointsToSet s) -
Uses of PointsToSet in qilin.stat
Modifier and TypeMethodDescriptionPointsToStat.getPointsToNewExpr
(PointsToSet pts) SimplifiedEvaluator.getPointsToNewExpr
(PointsToSet pts) Modifier and TypeMethodDescriptionvoid
Exporter.dumpMethodThrowPointsto
(Map<SootMethod, PointsToSet> m2pts) -
Uses of PointsToSet in qilin.util