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 and Description
DemandRefinementPointsTo.FlowsToComputer(InstanceKeyAndState ikAndState)

Method Summary

Methods

Modifier and Type	Method and Description
protected void	compute()
Collection<PointerKeyAndState>	getComputedFlowsToSet()
protected boolean	handleTrackedPred(com.ibm.wala.util.intset.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 Detail

DemandRefinementPointsTo.FlowsToComputer

public DemandRefinementPointsTo.FlowsToComputer(InstanceKeyAndState ikAndState)

Method Detail

compute

protected void compute()

Overrides:

compute in class DemandRefinementPointsTo.PointsToComputer

getComputedFlowsToSet

public Collection<PointerKeyAndState> getComputedFlowsToSet()

handleTrackedPred

protected boolean handleTrackedPred(com.ibm.wala.util.intset.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