Package com.ibm.wala.demandpa.alg
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
Constructors Constructor Description FlowsToComputer(InstanceKeyAndState ikAndState)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description protected void
compute()
Collection<PointerKeyAndState>
getComputedFlowsToSet()
protected boolean
handleTrackedPred(MutableIntSet curTrackedSet, PointerKeyAndState predPkAndState, IFlowLabel label)
also update the flows-to set of interest if necessary-
Methods inherited from class com.ibm.wala.demandpa.alg.DemandRefinementPointsTo.PointsToComputer
addAllToP2Set, addToTrackedPToWorklist, calleeSubGraphMissingAndShouldNotBeAdded, find, findOrCreate, getComputedP2Set, handleBackCopy, handleTrackedPointsToWorklist, makePassOverFieldStmts, matchingPToQueried, worklistLoop
-
-
-
-
Constructor Detail
-
FlowsToComputer
public FlowsToComputer(InstanceKeyAndState ikAndState)
-
-
Method Detail
-
compute
protected void compute()
- Overrides:
compute
in classDemandRefinementPointsTo.PointsToComputer
-
getComputedFlowsToSet
public Collection<PointerKeyAndState> 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
-
-