com.ibm.wala.ipa.callgraph.propagation

Class PointsToSetVariable

java.lang.Object

com.ibm.wala.util.graph.impl.NodeWithNumber

com.ibm.wala.fixpoint.AbstractVariable<T>

com.ibm.wala.fixpoint.IntSetVariable<PointsToSetVariable>

com.ibm.wala.ipa.callgraph.propagation.PointsToSetVariable

All Implemented Interfaces:

com.ibm.wala.fixpoint.IVariable<PointsToSetVariable>, com.ibm.wala.util.graph.INodeWithNumber

public class PointsToSetVariable
extends com.ibm.wala.fixpoint.IntSetVariable<PointsToSetVariable>

Representation of a points-to set during an andersen-style analysis.

Field Summary

Fields

Modifier and Type	Field and Description
static boolean	CRY_ABOUT_BIG_POINTSTO_SETS if set, emits a warning whenever a points-to set grows bigger than SIZE_THRESHOLD
static com.ibm.wala.util.intset.MutableMapping<InstanceKey>	instanceKeys used only for paranoid checking.
static boolean	PARANOID if set, check that all instance keys in a points-to set are consistent with the type of the corresponding pointer key
static int	SIZE_THRESHOLD

Constructor Summary

Constructors

Constructor and Description
PointsToSetVariable(PointerKey key)

Method Summary

Methods

Modifier and Type	Method and Description
void	add(int b)
boolean	addAll(com.ibm.wala.util.intset.IntSet B)
boolean	addAll(PointsToSetVariable other)
boolean	equals(Object obj)
PointerKey	getPointerKey()
String	toString()

Methods inherited from class com.ibm.wala.fixpoint.IntSetVariable

addAllInIntersection, addAllInIntersection, contains, containsAny, copyState, getValue, remove, removeAll, sameValue, size

Methods inherited from class com.ibm.wala.fixpoint.AbstractVariable

getOrderNumber, hashCode, nextHash, setOrderNumber

Methods inherited from class com.ibm.wala.util.graph.impl.NodeWithNumber

getGraphNodeId, setGraphNodeId

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface com.ibm.wala.util.graph.INodeWithNumber

getGraphNodeId, setGraphNodeId

Field Detail

CRY_ABOUT_BIG_POINTSTO_SETS

public static final boolean CRY_ABOUT_BIG_POINTSTO_SETS

if set, emits a warning whenever a points-to set grows bigger than SIZE_THRESHOLD

See Also:

Constant Field Values

SIZE_THRESHOLD

public static final int SIZE_THRESHOLD

See Also:

Constant Field Values

PARANOID

public static final boolean PARANOID

if set, check that all instance keys in a points-to set are consistent with the type of the corresponding pointer key

See Also:

Constant Field Values

instanceKeys

public static com.ibm.wala.util.intset.MutableMapping<InstanceKey> instanceKeys

used only for paranoid checking. a bit ugly, but avoids adding an instance field just for debugging

Constructor Detail

PointsToSetVariable

public PointsToSetVariable(PointerKey key)

Method Detail

getPointerKey

public PointerKey getPointerKey()

equals

public boolean equals(Object obj)

Overrides:

equals in class com.ibm.wala.fixpoint.AbstractVariable<PointsToSetVariable>

add

public void add(int b)

Overrides:

add in class com.ibm.wala.fixpoint.IntSetVariable<PointsToSetVariable>

addAll

public boolean addAll(com.ibm.wala.util.intset.IntSet B)

Overrides:

addAll in class com.ibm.wala.fixpoint.IntSetVariable<PointsToSetVariable>

addAll

public boolean addAll(PointsToSetVariable other)

Overrides:

addAll in class com.ibm.wala.fixpoint.IntSetVariable<PointsToSetVariable>

toString

public String toString()

Overrides:

toString in class com.ibm.wala.fixpoint.IntSetVariable<PointsToSetVariable>