Uses of Class
soot.jimple.spark.geom.dataMgr.PtSensVisitor

Packages that use PtSensVisitor

Package	Description
soot.jimple.spark.geom.dataMgr
soot.jimple.spark.geom.geomE
soot.jimple.spark.geom.geomPA
soot.jimple.spark.geom.heapinsE
soot.jimple.spark.geom.ptinsE

Uses of PtSensVisitor in soot.jimple.spark.geom.dataMgr

Subclasses of PtSensVisitor in soot.jimple.spark.geom.dataMgr

Modifier and Type	Class and Description
class	Obj_full_extractor Extracts the full context sensitive points-to result.

Methods in soot.jimple.spark.geom.dataMgr with parameters of type PtSensVisitor

Modifier and Type	Method and Description
boolean	PtSensVisitor.hasNonEmptyIntersection(PtSensVisitor<VarType> other) Tests if two containers have contain same things.

Uses of PtSensVisitor in soot.jimple.spark.geom.geomE

Methods in soot.jimple.spark.geom.geomE with parameters of type PtSensVisitor

Modifier and Type	Method and Description
void	FullSensitiveNode.get_all_context_sensitive_objects(long l, long r, PtSensVisitor visitor)

Uses of PtSensVisitor in soot.jimple.spark.geom.geomPA

Methods in soot.jimple.spark.geom.geomPA with parameters of type PtSensVisitor

Modifier and Type	Method and Description
boolean	GeomQueries.contexsByAnyCallEdge(Edge sootEdge, Local l, PtSensVisitor visitor) Deprecated.
boolean	GeomQueries.contextsByAnyCallEdge(Edge sootEdge, Local l, SparkField field, PtSensVisitor visitor) Deprecated.
boolean	GeomQueries.contextsByCallChain(Edge[] callEdgeChain, Local l, PtSensVisitor visitor) Deprecated.
boolean	GeomQueries.contextsByCallChain(Edge[] callEdgeChain, Local l, SparkField field, PtSensVisitor visitor) Deprecated.
boolean	GeomQueries.contextsGoBy(Edge sootEdge, Local l, PtSensVisitor visitor) Answer contexts-go-by query.
boolean	GeomQueries.contextsGoBy(Edge sootEdge, Local l, SparkField field, PtSensVisitor visitor) Searching the points-to results for field expression such as p.f.
abstract void	IVarAbstraction.get_all_context_sensitive_objects(long l, long r, PtSensVisitor visitor) Given the pointers falling in the context range [l, r), we compute the set of context sensitive objects pointed to by those pointers.
void	DummyNode.get_all_context_sensitive_objects(long l, long r, PtSensVisitor visitor)
boolean	GeomQueries.kCFA(Edge[] callEdgeChain, Local l, PtSensVisitor visitor) Standard K-CFA querying for arbitrary K.
boolean	GeomQueries.kCFA(Edge[] callEdgeChain, Local l, SparkField field, PtSensVisitor visitor) Standard K-CFA querying for field expression.

Uses of PtSensVisitor in soot.jimple.spark.geom.heapinsE

Methods in soot.jimple.spark.geom.heapinsE with parameters of type PtSensVisitor

Modifier and Type	Method and Description
void	HeapInsNode.get_all_context_sensitive_objects(long l, long r, PtSensVisitor visitor)

Uses of PtSensVisitor in soot.jimple.spark.geom.ptinsE

Methods in soot.jimple.spark.geom.ptinsE with parameters of type PtSensVisitor

Modifier and Type	Method and Description
void	PtInsNode.get_all_context_sensitive_objects(long l, long r, PtSensVisitor visitor) Deprecated.