Uses of Class
soot.jimple.spark.geom.geomPA.ZArrayNumberer

Packages that use ZArrayNumberer

soot.jimple.spark.geom.geomE
soot.jimple.spark.geom.geomPA
soot.jimple.spark.geom.heapinsE
soot.jimple.spark.geom.ptinsE

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

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

int	FullSensitiveNode.get_all_context_sensitive_objects(long l, long r, ZArrayNumberer<CallsiteContextVar> all_objs, Vector<CallsiteContextVar> outList) Given the pointers falling in the context range [l, r), we compute the set of 1-CFA objects pointed to by those pointers.
int	FullSensitiveNode.get_all_context_sensitive_objects(long l, long r, ZArrayNumberer<CallsiteContextVar> all_objs, Vector<CallsiteContextVar> outList) Given the pointers falling in the context range [l, r), we compute the set of 1-CFA objects pointed to by those pointers.

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

Fields in soot.jimple.spark.geom.geomPA declared as ZArrayNumberer

ZArrayNumberer<IVarAbstraction>	GeomPointsTo.allocations
ZArrayNumberer<IVarAbstraction>	GeomPointsTo.allocations
ZArrayNumberer<IVarAbstraction>	GeomPointsTo.pointers
ZArrayNumberer<IVarAbstraction>	GeomPointsTo.pointers

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

int	DummyNode.get_all_context_sensitive_objects(long l, long r, ZArrayNumberer<CallsiteContextVar> all_objs, Vector<CallsiteContextVar> outList)
abstract int	IVarAbstraction.get_all_context_sensitive_objects(long l, long r, ZArrayNumberer<CallsiteContextVar> all_objs, Vector<CallsiteContextVar> outList)
abstract int	IVarAbstraction.get_all_context_sensitive_objects(long l, long r, ZArrayNumberer<CallsiteContextVar> all_objs, Vector<CallsiteContextVar> outList)
int	DummyNode.get_all_context_sensitive_objects(long l, long r, ZArrayNumberer<CallsiteContextVar> all_objs, Vector<CallsiteContextVar> outList)

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

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

int	HeapInsNode.get_all_context_sensitive_objects(long l, long r, ZArrayNumberer<CallsiteContextVar> all_objs, Vector<CallsiteContextVar> outList)
int	HeapInsNode.get_all_context_sensitive_objects(long l, long r, ZArrayNumberer<CallsiteContextVar> all_objs, Vector<CallsiteContextVar> outList)

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

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

int	PtInsNode.get_all_context_sensitive_objects(long l, long r, ZArrayNumberer<CallsiteContextVar> all_objs, Vector<CallsiteContextVar> outList)
int	PtInsNode.get_all_context_sensitive_objects(long l, long r, ZArrayNumberer<CallsiteContextVar> all_objs, Vector<CallsiteContextVar> outList)