qilin.pta.toolkits.common

Class FieldPointstoGraph

java.lang.Object

qilin.pta.toolkits.common.FieldPointstoGraph

public class FieldPointstoGraph
extends Object

Constructor Summary

Constructors

Constructor and Description
FieldPointstoGraph(PTA pta)

Method Summary

Modifier and Type	Method and Description
Set<AllocNode>	getAllObjs()
boolean	hasFieldPointer(AllocNode obj, SparkField field)
Set<SparkField>	inFieldsOf(AllocNode obj)
Set<SparkField>	outFieldsOf(AllocNode baseObj)
Set<AllocNode>	pointedBy(AllocNode obj, SparkField field)
Set<AllocNode>	pointsTo(AllocNode baseObj, SparkField field)

Methods inherited from class java.lang.Object

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

Constructor Detail

FieldPointstoGraph

public FieldPointstoGraph(PTA pta)

Method Detail

getAllObjs

public Set<AllocNode> getAllObjs()

outFieldsOf

public Set<SparkField> outFieldsOf(AllocNode baseObj)

inFieldsOf

public Set<SparkField> inFieldsOf(AllocNode obj)

pointsTo

public Set<AllocNode> pointsTo(AllocNode baseObj,
                               SparkField field)

pointedBy

public Set<AllocNode> pointedBy(AllocNode obj,
                                SparkField field)

hasFieldPointer

public boolean hasFieldPointer(AllocNode obj,
                               SparkField field)