Class PointsToSetVariable

java.lang.Object

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

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

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

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

All Implemented Interfaces:

IVariable<PointsToSetVariable>, INodeWithNumber

public class PointsToSetVariable
extends IntSetVariable<PointsToSetVariable>

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

Field Summary

Fields

Modifier and Type	Field	Description
static final boolean	CRY_ABOUT_BIG_POINTSTO_SETS	if set, emits a warning whenever a points-to set grows bigger than SIZE_THRESHOLD
static MutableMapping<InstanceKey>	instanceKeys	used only for paranoid checking.
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
static final int	SIZE_THRESHOLD
static final boolean	VERBOSE_PRINT	Print names of types of instance keys

Constructor Summary

Constructors

Constructor	Description
PointsToSetVariable(PointerKey key)

Method Summary

Modifier and Type	Method	Description
boolean	add(int b)	Set a particular bit
boolean	addAll(PointsToSetVariable other)	Add all integers from the other int set variable.
boolean	addAll(IntSet B)	Add all integers from the set B
boolean	equals(Object obj)
PointerKey	getPointerKey()
void	setPointerKey(PointerKey pointerKey)	Use this with extreme care, to add filters to this variable..
String	toString()

Methods inherited from class IntSetVariable

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

Modifier and Type	Method	Description
boolean	addAllInIntersection(IntSet other, IntSet filter)
boolean	addAllInIntersection(PointsToSetVariable other, IntSet filter)
boolean	contains(int b)	Is a particular bit set?
boolean	containsAny(IntSet instances)
void	copyState(PointsToSetVariable other)	Set this variable to have the same state as another one
MutableIntSet	getValue()
void	remove(int i)
void	removeAll()
boolean	sameValue(IntSetVariable other)
int	size()

Methods inherited from class AbstractVariable

getOrderNumber, hashCode, nextHash, setOrderNumber

Modifier and Type	Method	Description
int	getOrderNumber()	Variables must allow the solver implementation to get/set an order number, which the solver uses to control evaluation order.
final int	hashCode()
static int	nextHash()	I know this is theoretically bad.
void	setOrderNumber(int orderNumber)	Variables must allow the solver implementation to get/set an order number, which the solver uses to control evaluation order.

Methods inherited from class NodeWithNumber

getGraphNodeId, setGraphNodeId

Modifier and Type	Method	Description
int	getGraphNodeId()	A non-negative integer which serves as an identifier for this node in it's "dominant" graph.
void	setGraphNodeId(int i)

Methods inherited from class Object

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

Field Details

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

VERBOSE_PRINT

public static final boolean VERBOSE_PRINT

Print names of types of instance keys

See Also:

• Constant Field Values

instanceKeys

public static MutableMapping<InstanceKey> instanceKeys

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

Constructor Details

PointsToSetVariable

public PointsToSetVariable(PointerKey key)

Method Details

getPointerKey

public PointerKey getPointerKey()

equals

public boolean equals(Object obj)

Overrides:

equals in class AbstractVariable<PointsToSetVariable>

add

public boolean add(int b)

Description copied from class: IntSetVariable

Set a particular bit

Overrides:

add in class IntSetVariable<PointsToSetVariable>

Parameters:

b - the bit to set

addAll

public boolean addAll(IntSet B)

Description copied from class: IntSetVariable

Add all integers from the set B

Overrides:

addAll in class IntSetVariable<PointsToSetVariable>

Returns:

true iff the value of this changes

addAll

public boolean addAll(PointsToSetVariable other)

Description copied from class: IntSetVariable

Add all integers from the other int set variable.

Overrides:

addAll in class IntSetVariable<PointsToSetVariable>

Returns:

true iff the contents of this variable changes.

setPointerKey

public void setPointerKey(PointerKey pointerKey)

Use this with extreme care, to add filters to this variable..

Parameters:

pointerKey - The pointerKey to set.

toString

public String toString()

Overrides:

toString in class IntSetVariable<PointsToSetVariable>