Class DemandRefinementPointsTo.PointsToComputer

java.lang.Object
com.ibm.wala.demandpa.alg.DemandRefinementPointsTo.PointsToComputer
Direct Known Subclasses:
DemandRefinementPointsTo.FlowsToComputer
Enclosing class:
DemandRefinementPointsTo

protected class DemandRefinementPointsTo.PointsToComputer extends Object
Points-to analysis algorithm code.

Pseudocode in Chapter 5 of Manu Sridharan's dissertation.

Author:
Manu Sridharan