Package soot.jimple.spark.geom.dataMgr

Class Summary

Class	Description
ContextsCollector	Manage context intervals.
Obj_full_extractor	Extracts the full context sensitive points-to result.
PtSensVisitor<VarType extends ContextVar>	A container for storing context sensitive querying result of geomPTA.