Package soot.jimple.spark.geom.geomPA

Interface Summary

Interface	Description
IWorklist	The worklist interface that abstracts the selection strategy.

Class Summary

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