Uses of Interface
qilin.core.sets.PointsToSet
Packages that use PointsToSet
Package
Description
Generally useful utility classes for Soot.
-
Uses of PointsToSet in qilin.core
Methods in qilin.core that return PointsToSetModifier 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.Methods in qilin.core with parameters of type PointsToSetModifier 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
Classes in qilin.core.sets that implement PointsToSetMethods in qilin.core.sets that return PointsToSetModifier and TypeMethodDescriptionPointsToSet.toCIPointsToSet()
UnmodifiablePointsToSet.toCIPointsToSet()
Methods in qilin.core.sets with parameters of type PointsToSetModifier 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
Methods in qilin.pta.tools that return PointsToSetModifier 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) Methods in qilin.pta.tools with parameters of type PointsToSetModifier and TypeMethodDescriptionDebloatedPTA.reachingObjects
(PointsToSet s, SootField f) DebloatedPTA.reachingObjectsOfArrayElement
(PointsToSet s) -
Uses of PointsToSet in qilin.stat
Methods in qilin.stat with parameters of type PointsToSetModifier and TypeMethodDescriptionPointsToStat.getPointsToNewExpr
(PointsToSet pts) SimplifiedEvaluator.getPointsToNewExpr
(PointsToSet pts) Method parameters in qilin.stat with type arguments of type PointsToSetModifier and TypeMethodDescriptionvoid
Exporter.dumpMethodThrowPointsto
(Map<SootMethod, PointsToSet> m2pts) -
Uses of PointsToSet in qilin.util
Methods in qilin.util with parameters of type PointsToSet