com.ibm.wala.demandpa.alg

Class DemandRefinementPointsTo

java.lang.Object

com.ibm.wala.demandpa.alg.AbstractDemandPointsTo

com.ibm.wala.demandpa.alg.DemandRefinementPointsTo

All Implemented Interfaces:

IDemandPointerAnalysis

public class DemandRefinementPointsTo
extends AbstractDemandPointsTo

Demand-driven refinement-based points-to analysis.

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
protected class	DemandRefinementPointsTo.FlowsToComputer used to compute "flows-to sets," i.e., all the pointers that can point to some instance key
protected class	DemandRefinementPointsTo.PointsToComputer Points-to analysis algorithm code.
static class	DemandRefinementPointsTo.PointsToResult Possible results of a query.

Field Summary

Fields

Modifier and Type	Field and Description
protected IFlowGraph	g
long	lastQueryMemoryUse to measure memory usage
protected RefinementPolicy	refinementPolicy

Fields inherited from class com.ibm.wala.demandpa.alg.AbstractDemandPointsTo

cg, cha, heapModel, mam, numNodesTraversed, options

Method Summary

Modifier and Type	Method and Description
com.ibm.wala.util.collections.Pair<DemandRefinementPointsTo.PointsToResult,java.util.Collection<PointerKey>>	getFlowsTo(InstanceKey ik) get all the pointer keys that some instance key can flow to
com.ibm.wala.util.collections.Pair<DemandRefinementPointsTo.PointsToResult,java.util.Collection<PointerKey>>	getFlowsTo(InstanceKeyAndState ikAndState) get all the pointer keys that some instance key with state can flow to
java.util.Collection<InstanceKey>	getPointsTo(PointerKey pk)
com.ibm.wala.util.collections.Pair<DemandRefinementPointsTo.PointsToResult,java.util.Collection<InstanceKey>>	getPointsTo(PointerKey pk, java.util.function.Predicate<InstanceKey> ikeyPred) compute a points-to set for a pointer key, aiming to satisfy some predicate
java.util.Collection<InstanceKeyAndState>	getPointsToWithStates(PointerKey pk)
RefinementPolicy	getRefinementPolicy()
RefinementPolicyFactory	getRefinementPolicyFactory()
StateMachineFactory<IFlowLabel>	getStateMachineFactory()
static DemandRefinementPointsTo	makeWithDefaultFlowGraph(CallGraph cg, HeapModel model, MemoryAccessMap mam, IClassHierarchy cha, AnalysisOptions options, StateMachineFactory<IFlowLabel> stateMachineFactory) create a demand points-to analysis runner
DemandRefinementPointsTo.PointsToResult	pointsToPassesPred(PointerKey pk, java.util.function.Predicate<InstanceKey> ikeyPred, PointerAnalysis<InstanceKey> pa) check if the points-to set of a variable passes some predicate, without necessarily computing the whole points-to set
void	setRefinementPolicyFactory(RefinementPolicyFactory refinementPolicyFactory)
void	setStateMachineFactory(StateMachineFactory<IFlowLabel> stateMachineFactory)
protected void	startNewQuery() re-initialize state for a new query

Methods inherited from class com.ibm.wala.demandpa.alg.AbstractDemandPointsTo

getBaseCallGraph, getClassHierarchy, getHeapModel, getNumNodesTraversed, getTraversalBudget, incrementNumNodesTraversed, setNumNodesTraversed, setTraversalBudget

Methods inherited from class java.lang.Object

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

Field Detail

g

protected final IFlowGraph g

refinementPolicy

protected RefinementPolicy refinementPolicy

lastQueryMemoryUse

public long lastQueryMemoryUse

to measure memory usage

Method Detail

getRefinementPolicy

public RefinementPolicy getRefinementPolicy()

startNewQuery

protected void startNewQuery()

re-initialize state for a new query

getPointsTo

public com.ibm.wala.util.collections.Pair<DemandRefinementPointsTo.PointsToResult,java.util.Collection<InstanceKey>> getPointsTo(PointerKey pk,
                                                                                                                                 java.util.function.Predicate<InstanceKey> ikeyPred)
                                                                                                                          throws java.lang.IllegalArgumentException

compute a points-to set for a pointer key, aiming to satisfy some predicate

Parameters:

pk - the pointer key

ikeyPred - the desired predicate that each instance key in the points-to set should ideally satisfy

Returns:

a pair consisting of (1) a DemandRefinementPointsTo.PointsToResult indicating whether a points-to set satisfying the predicate was computed, and (2) the last computed points-to set for the variable (possibly null if no points-to set could be computed in the budget)

Throws:

java.lang.IllegalArgumentException - if pk is not a LocalPointerKey; to eventually be fixed

makeWithDefaultFlowGraph

public static DemandRefinementPointsTo makeWithDefaultFlowGraph(CallGraph cg,
                                                                HeapModel model,
                                                                MemoryAccessMap mam,
                                                                IClassHierarchy cha,
                                                                AnalysisOptions options,
                                                                StateMachineFactory<IFlowLabel> stateMachineFactory)

create a demand points-to analysis runner

Parameters:

cg - the underlying call graph for the analysis

model - the heap model to be used for the analysis

mam - indicates what code reads or writes each field

stateMachineFactory - factory for state machines to track additional properties like calling context

pointsToPassesPred

public DemandRefinementPointsTo.PointsToResult pointsToPassesPred(PointerKey pk,
                                                                  java.util.function.Predicate<InstanceKey> ikeyPred,
                                                                  PointerAnalysis<InstanceKey> pa)
                                                           throws java.lang.IllegalArgumentException

check if the points-to set of a variable passes some predicate, without necessarily computing the whole points-to set

Parameters:

pk - the pointer key

ikeyPred - the desired predicate that each instance key in the points-to set should ideally satisfy

pa - a pre-computed points-to analysis

Returns:

a DemandRefinementPointsTo.PointsToResult indicating whether a points-to set satisfying the predicate was computed

Throws:

java.lang.IllegalArgumentException - if pk is not a LocalPointerKey; to eventually be fixed

getPointsTo

public java.util.Collection<InstanceKey> getPointsTo(PointerKey pk)

Returns:

the points-to set of pk, or null if the points-to set can't be computed in the allocated budget

getPointsToWithStates

public java.util.Collection<InstanceKeyAndState> getPointsToWithStates(PointerKey pk)

Returns:

the points-to set of pk, including the StateMachine.States attached to the InstanceKeys, or null if the points-to set can't be computed in the allocated budget

getFlowsTo

public com.ibm.wala.util.collections.Pair<DemandRefinementPointsTo.PointsToResult,java.util.Collection<PointerKey>> getFlowsTo(InstanceKey ik)

get all the pointer keys that some instance key can flow to

Returns:

a pair consisting of (1) a DemandRefinementPointsTo.PointsToResult indicating whether a flows-to set was computed, and (2) the last computed flows-to set for the instance key (possibly null if no flows-to set could be computed in the budget)

getFlowsTo

public com.ibm.wala.util.collections.Pair<DemandRefinementPointsTo.PointsToResult,java.util.Collection<PointerKey>> getFlowsTo(InstanceKeyAndState ikAndState)

get all the pointer keys that some instance key with state can flow to

Returns:

a pair consisting of (1) a DemandRefinementPointsTo.PointsToResult indicating whether a flows-to set was computed, and (2) the last computed flows-to set for the instance key (possibly null if no flows-to set could be computed in the budget)

getStateMachineFactory

public StateMachineFactory<IFlowLabel> getStateMachineFactory()

setStateMachineFactory

public void setStateMachineFactory(StateMachineFactory<IFlowLabel> stateMachineFactory)

getRefinementPolicyFactory

public RefinementPolicyFactory getRefinementPolicyFactory()

setRefinementPolicyFactory

public void setRefinementPolicyFactory(RefinementPolicyFactory refinementPolicyFactory)