com.ibm.wala.ipa.callgraph.propagation

Class PropagationSystem

java.lang.Object

com.ibm.wala.fixedpoint.impl.AbstractFixedPointSolver<T>

com.ibm.wala.fixedpoint.impl.DefaultFixedPointSolver<PointsToSetVariable>

com.ibm.wala.ipa.callgraph.propagation.PropagationSystem

All Implemented Interfaces:

com.ibm.wala.fixpoint.FixedPointConstants, com.ibm.wala.fixpoint.IFixedPointSolver<PointsToSetVariable>, com.ibm.wala.util.debug.VerboseAction

public class PropagationSystem
extends com.ibm.wala.fixedpoint.impl.DefaultFixedPointSolver<PointsToSetVariable>

System of constraints that define propagation for call graph construction

Nested Class Summary

Nested classes/interfaces inherited from class com.ibm.wala.fixedpoint.impl.AbstractFixedPointSolver

com.ibm.wala.fixedpoint.impl.AbstractFixedPointSolver.Statement

Field Summary

Fields

Modifier and Type	Field and Description
protected CallGraph	cg Governing call graph;
protected com.ibm.wala.util.intset.MutableMapping<InstanceKey>	instanceKeys bijection from InstanceKey <=>Integer
protected PointsToMap	pointsToMap object that tracks points-to sets

Fields inherited from class com.ibm.wala.fixedpoint.impl.AbstractFixedPointSolver

DEFAULT_PERIODIC_MAINTENANCE_INTERVAL, DEFAULT_VERBOSE_INTERVAL, verbose, workList

Fields inherited from interface com.ibm.wala.fixpoint.FixedPointConstants

CHANGED, CHANGED_AND_FIXED, CHANGED_MASK, FIXED_MASK, NOT_CHANGED, NOT_CHANGED_AND_FIXED, SIDE_EFFECT_MASK

Constructor Summary

Constructors

Constructor and Description
PropagationSystem(CallGraph cg, PointerKeyFactory pointerKeyFactory, InstanceKeyFactory instanceKeyFactory)

Method Summary

Methods

Modifier and Type	Method and Description
PointerAnalysis<InstanceKey>	extractPointerAnalysis(PropagationCallGraphBuilder builder)
int	findOrCreateIndexForInstanceKey(InstanceKey key)
PointsToSetVariable	findOrCreatePointsToSet(PointerKey key) If key is unified, returns the representative
com.ibm.wala.util.graph.NumberedGraph<PointsToSetVariable>	getAssignmentGraph()
com.ibm.wala.util.graph.Graph<PointsToSetVariable>	getFilterAsssignmentGraph()
com.ibm.wala.fixpoint.IFixedPointSystem<PointsToSetVariable>	getFixedPointSystem()
com.ibm.wala.util.graph.Graph<PointsToSetVariable>	getFlowGraphIncludingImplicitConstraints() NOTE: do not use this method unless you really know what you are doing.
int	getInstanceIndex(InstanceKey ik)
InstanceKey	getInstanceKey(int i)
com.ibm.wala.util.intset.IntSet	getInstanceKeysForClass(IClass klass)
int	getNumber(PointerKey p)
int	getNumberOfPointerKeys() warning: this is _real_ slow; don't use it anywhere performance critical
int	getPeriodicMaintainInterval()
Iterator<com.ibm.wala.fixpoint.AbstractStatement>	getStatementsThatDef(PointsToSetVariable v)
Iterator<com.ibm.wala.fixpoint.AbstractStatement>	getStatementsThatUse(PointsToSetVariable v)
Iterator	getTransitiveRoots()
int	getVerboseInterval()
protected void	initializeVariables()
protected void	initializeWorkList()
boolean	isTransitiveRoot(PointerKey key)
boolean	isUnified(PointerKey result)
Iterator<PointerKey>	iteratePointerKeys()
PointerAnalysis<InstanceKey>	makePointerAnalysis(PropagationCallGraphBuilder builder)
protected PointsToSetVariable[]	makeStmtRHS(int size)
boolean	newConstraint(PointerKey lhs, com.ibm.wala.fixpoint.AbstractOperator<PointsToSetVariable> op, PointerKey rhs)
boolean	newConstraint(PointerKey lhs, com.ibm.wala.fixpoint.AbstractOperator<PointsToSetVariable> op, PointerKey rhs1, PointerKey rhs2)
boolean	newConstraint(PointerKey lhs, InstanceKey value)
boolean	newConstraint(PointerKey lhs, com.ibm.wala.fixpoint.UnaryOperator<PointsToSetVariable> op, PointerKey rhs) NB: this is idempotent ...
boolean	newFieldRead(PointerKey lhs, com.ibm.wala.fixpoint.UnaryOperator<PointsToSetVariable> op, PointerKey rhs, PointerKey container)
boolean	newFieldWrite(PointerKey lhs, com.ibm.wala.fixpoint.UnaryOperator<PointsToSetVariable> op, PointerKey rhs, PointerKey container)
void	newSideEffect(com.ibm.wala.fixpoint.AbstractOperator<PointsToSetVariable> op, PointerKey[] arg0)
void	newSideEffect(com.ibm.wala.fixpoint.AbstractOperator<PointsToSetVariable> op, PointerKey arg0, PointerKey arg1)
void	newSideEffect(com.ibm.wala.fixpoint.UnaryOperator<PointsToSetVariable> op, PointerKey arg0)
void	performVerboseAction()
protected void	periodicMaintenance()
void	recordImplicitPointsToSet(PointerKey key) record that a particular points-to-set is represented implicitly.
protected void	registerFixedSet(PointsToSetVariable p, UnarySideEffect s)
void	revertToPreTransitive()
void	setPeriodicMaintainInterval(int periodicMaintainInteval)
void	setVerboseInterval(int verboseInterval)
void	unify(com.ibm.wala.util.intset.IntSet s) Unify the points-to-sets for the variables identified by the set s
protected void	updateSideEffects(PointsToSetVariable p, PointsToSetVariable rep)

Methods inherited from class com.ibm.wala.fixedpoint.impl.AbstractFixedPointSolver

addAllStatementsToWorkList, addToWorkList, changedVariable, emptyWorkList, getMaxEvalBetweenTopo, getMinSizeForTopSort, getNumberOfEvaluations, getStatements, getTopologicalGrowthFactor, incNumberOfEvaluations, initForFirstSolve, isChanged, isFixed, isSideEffect, lineBreak, newStatement, newStatement, newStatement, newStatement, newStatement, orderStatements, removeStatement, setMaxEvalBetweenTopo, setMinEquationsForTopSort, setTopologicalGrowthFactor, solve, toString

Methods inherited from class java.lang.Object

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

Field Detail

pointsToMap

protected final PointsToMap pointsToMap

object that tracks points-to sets

instanceKeys

protected final com.ibm.wala.util.intset.MutableMapping<InstanceKey> instanceKeys

bijection from InstanceKey <=>Integer

cg

protected final CallGraph cg

Governing call graph;

Constructor Detail

PropagationSystem

public PropagationSystem(CallGraph cg,
                 PointerKeyFactory pointerKeyFactory,
                 InstanceKeyFactory instanceKeyFactory)

Method Detail

makePointerAnalysis

public PointerAnalysis<InstanceKey> makePointerAnalysis(PropagationCallGraphBuilder builder)

Returns:

an object which encapsulates the pointer analysis result

registerFixedSet

protected void registerFixedSet(PointsToSetVariable p,
                    UnarySideEffect s)

updateSideEffects

protected void updateSideEffects(PointsToSetVariable p,
                     PointsToSetVariable rep)

getInstanceKeysForClass

public com.ibm.wala.util.intset.IntSet getInstanceKeysForClass(IClass klass)

Returns:

a set of integers representing the instance keys that correspond to a given class, or null if there are none.

Throws:

IllegalArgumentException - if klass is null

getInstanceKey

public InstanceKey getInstanceKey(int i)

Returns:

the instance key numbered with index i

getInstanceIndex

public int getInstanceIndex(InstanceKey ik)

initializeVariables

protected void initializeVariables()

Specified by:

initializeVariables in class com.ibm.wala.fixedpoint.impl.AbstractFixedPointSolver<PointsToSetVariable>

recordImplicitPointsToSet

public void recordImplicitPointsToSet(PointerKey key)

record that a particular points-to-set is represented implicitly.

findOrCreatePointsToSet

public PointsToSetVariable findOrCreatePointsToSet(PointerKey key)

If key is unified, returns the representative

Parameters:

key -

Returns:

the dataflow variable that tracks the points-to set for key

findOrCreateIndexForInstanceKey

public int findOrCreateIndexForInstanceKey(InstanceKey key)

newConstraint

public boolean newConstraint(PointerKey lhs,
                    com.ibm.wala.fixpoint.UnaryOperator<PointsToSetVariable> op,
                    PointerKey rhs)

NB: this is idempotent ... if the given constraint exists, it will not be added to the system; however, this will be more expensive since it must check if the constraint pre-exits.

Returns:

true iff the system changes

newConstraint

public boolean newConstraint(PointerKey lhs,
                    com.ibm.wala.fixpoint.AbstractOperator<PointsToSetVariable> op,
                    PointerKey rhs)

newConstraint

public boolean newConstraint(PointerKey lhs,
                    com.ibm.wala.fixpoint.AbstractOperator<PointsToSetVariable> op,
                    PointerKey rhs1,
                    PointerKey rhs2)

newFieldWrite

public boolean newFieldWrite(PointerKey lhs,
                    com.ibm.wala.fixpoint.UnaryOperator<PointsToSetVariable> op,
                    PointerKey rhs,
                    PointerKey container)

Returns:

true iff the system changes

newFieldRead

public boolean newFieldRead(PointerKey lhs,
                   com.ibm.wala.fixpoint.UnaryOperator<PointsToSetVariable> op,
                   PointerKey rhs,
                   PointerKey container)

Returns:

true iff the system changes

newConstraint

public boolean newConstraint(PointerKey lhs,
                    InstanceKey value)

Returns:

true iff the system changes

newSideEffect

public void newSideEffect(com.ibm.wala.fixpoint.UnaryOperator<PointsToSetVariable> op,
                 PointerKey arg0)

newSideEffect

public void newSideEffect(com.ibm.wala.fixpoint.AbstractOperator<PointsToSetVariable> op,
                 PointerKey[] arg0)

newSideEffect

public void newSideEffect(com.ibm.wala.fixpoint.AbstractOperator<PointsToSetVariable> op,
                 PointerKey arg0,
                 PointerKey arg1)

initializeWorkList

protected void initializeWorkList()

Specified by:

initializeWorkList in class com.ibm.wala.fixedpoint.impl.AbstractFixedPointSolver<PointsToSetVariable>

extractPointerAnalysis

public PointerAnalysis<InstanceKey> extractPointerAnalysis(PropagationCallGraphBuilder builder)

Returns:

an object that encapsulates the pointer analysis results

performVerboseAction

public void performVerboseAction()

Specified by:

performVerboseAction in interface com.ibm.wala.util.debug.VerboseAction

Overrides:

performVerboseAction in class com.ibm.wala.fixedpoint.impl.AbstractFixedPointSolver<PointsToSetVariable>

getFixedPointSystem

public com.ibm.wala.fixpoint.IFixedPointSystem<PointsToSetVariable> getFixedPointSystem()

Specified by:

getFixedPointSystem in interface com.ibm.wala.fixpoint.IFixedPointSolver<PointsToSetVariable>

Overrides:

getFixedPointSystem in class com.ibm.wala.fixedpoint.impl.DefaultFixedPointSolver<PointsToSetVariable>

iteratePointerKeys

public Iterator<PointerKey> iteratePointerKeys()

getNumberOfPointerKeys

public int getNumberOfPointerKeys()

warning: this is _real_ slow; don't use it anywhere performance critical

getStatementsThatUse

public Iterator<com.ibm.wala.fixpoint.AbstractStatement> getStatementsThatUse(PointsToSetVariable v)

getStatementsThatDef

public Iterator<com.ibm.wala.fixpoint.AbstractStatement> getStatementsThatDef(PointsToSetVariable v)

getAssignmentGraph

public com.ibm.wala.util.graph.NumberedGraph<PointsToSetVariable> getAssignmentGraph()

getFilterAsssignmentGraph

public com.ibm.wala.util.graph.Graph<PointsToSetVariable> getFilterAsssignmentGraph()

getFlowGraphIncludingImplicitConstraints

public com.ibm.wala.util.graph.Graph<PointsToSetVariable> getFlowGraphIncludingImplicitConstraints()

NOTE: do not use this method unless you really know what you are doing. Functionality is fragile and may not work in the future.

revertToPreTransitive

public void revertToPreTransitive()

getTransitiveRoots

public Iterator getTransitiveRoots()

isTransitiveRoot

public boolean isTransitiveRoot(PointerKey key)

periodicMaintenance

protected void periodicMaintenance()

Overrides:

periodicMaintenance in class com.ibm.wala.fixedpoint.impl.AbstractFixedPointSolver<PointsToSetVariable>

getVerboseInterval

public int getVerboseInterval()

Overrides:

getVerboseInterval in class com.ibm.wala.fixedpoint.impl.AbstractFixedPointSolver<PointsToSetVariable>

setVerboseInterval

public void setVerboseInterval(int verboseInterval)

Parameters:

verboseInterval - The verboseInterval to set.

getPeriodicMaintainInterval

public int getPeriodicMaintainInterval()

Overrides:

getPeriodicMaintainInterval in class com.ibm.wala.fixedpoint.impl.AbstractFixedPointSolver<PointsToSetVariable>

setPeriodicMaintainInterval

public void setPeriodicMaintainInterval(int periodicMaintainInteval)

Parameters:

periodicMaintainInteval -

unify

public void unify(com.ibm.wala.util.intset.IntSet s)

Unify the points-to-sets for the variables identified by the set s

Parameters:

s - numbers of points-to-set variables

Throws:

IllegalArgumentException - if s is null

isUnified

public boolean isUnified(PointerKey result)

getNumber

public int getNumber(PointerKey p)

makeStmtRHS

protected PointsToSetVariable[] makeStmtRHS(int size)

Specified by:

makeStmtRHS in class com.ibm.wala.fixedpoint.impl.AbstractFixedPointSolver<PointsToSetVariable>