| 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.
|