| Constants |
Named constants used in the geomPA.
|
| DummyNode |
It is used to represent the non-pointer variables (e.g.
|
| FIFO_Worklist |
Implementation of the worklist with FIFO strategy.
|
| GeomPointsTo |
The main interface for the points-to analysis with geometric encodings.
|
| GeomQueries |
A powerful interface for querying points-to results in many ways.
|
| IEncodingBroker |
An abstract class for hiding different encoding methods, e.g.
|
| IFigureManager |
An interface to standardize the functionality of a figure manager.
|
| IVarAbstraction |
Pointer/object representation in geomPTA.
|
| OfflineProcessor |
Implementation of pre-processing algorithms performed prior to the pointer analysis.
|
| Parameters |
Parameters to control the behaviors of geom points-to solver.
|
| PQ_Worklist |
The implementation of prioritized worklist.
|