Class DemandRefinementPointsTo.FlowsToComputer
java.lang.Object
com.ibm.wala.demandpa.alg.DemandRefinementPointsTo.PointsToComputer
com.ibm.wala.demandpa.alg.DemandRefinementPointsTo.FlowsToComputer
- Enclosing class:
DemandRefinementPointsTo
protected class DemandRefinementPointsTo.FlowsToComputer
extends DemandRefinementPointsTo.PointsToComputer
used to compute "flows-to sets," i.e., all the pointers that can point to some instance key
-
Field Summary
Fields inherited from class com.ibm.wala.demandpa.alg.DemandRefinementPointsTo.PointsToComputer
ikAndStates, pkToP2Set, pkToTrackedSet, queriedPkAndState
-
Constructor Summary
-
Method Summary
Modifier and TypeMethodDescriptionprotected void
compute()
protected boolean
handleTrackedPred
(MutableIntSet curTrackedSet, PointerKeyAndState predPkAndState, IFlowLabel label) also update the flows-to set of interest if necessaryMethods inherited from class com.ibm.wala.demandpa.alg.DemandRefinementPointsTo.PointsToComputer
addAllToP2Set, addToTrackedPToWorklist, calleeSubGraphMissingAndShouldNotBeAdded, find, findOrCreate, getComputedP2Set, handleBackCopy, handleTrackedPointsToWorklist, makePassOverFieldStmts, matchingPToQueried, worklistLoop
-
Constructor Details
-
FlowsToComputer
-
-
Method Details
-
compute
protected void compute()- Overrides:
compute
in classDemandRefinementPointsTo.PointsToComputer
-
getComputedFlowsToSet
-
handleTrackedPred
protected boolean handleTrackedPred(MutableIntSet curTrackedSet, PointerKeyAndState predPkAndState, IFlowLabel label) also update the flows-to set of interest if necessary- Overrides:
handleTrackedPred
in classDemandRefinementPointsTo.PointsToComputer
- Parameters:
curTrackedSet
- the tracked locationspredPkAndState
- the predecessor
-