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

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

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

FlowsToComputer

public FlowsToComputer(InstanceKeyAndState ikAndState)

Method Details

compute

protected void compute()

Overrides:

compute in class DemandRefinementPointsTo.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 class DemandRefinementPointsTo.PointsToComputer

Parameters:

curTrackedSet - the tracked locations

predPkAndState - the predecessor