Package qilin.pta.toolkits.debloaterx

Class XUtility

java.lang.Object

qilin.pta.toolkits.debloaterx.XUtility

public class XUtility
extends Object

Field Summary

Fields

Modifier and Type	Field	Description
protected final InterFlowAnalysis	interfa
protected final Map<SootMethod,Set<AllocNode>>	m2receiverObjects
protected final Map<AllocNode,Set<SparkField>>	o2Fields
protected final Map<AllocNode,HeapContainerQuery>	o2HCQ
protected final Map<AllocNode,Set<SootMethod>>	o2InvokedMethods
protected final Map<AllocNode,Map<SparkField,Set<VarNode>>>	o2nonThisFLoads
protected final Map<AllocNode,Map<SparkField,Set<VarNode>>>	o2nonThisFStores
protected final PAG	pag
protected final PTA	pta
protected final Set<Type>	rawOrPolyTypes
protected final Map<Type,Set<SparkField>>	t2Fields
protected final Map<Type,Set<SootMethod>>	t2InvokedMethods
protected final Map<Type,Map<SparkField,Set<VarNode>>>	t2nonThisFLoads
protected final Map<Type,Map<SparkField,Set<VarNode>>>	t2nonThisFStores
protected final XPAG	xpag

Constructor Summary

Constructors

Constructor	Description
XUtility(PTA pta)

Method Summary

Modifier and Type	Method	Description
Set<SparkField>	getFields()
Set<SparkField>	getFields(AllocNode heap)
Set<SparkField>	getFields(Type type)
HeapContainerQuery	getHCQ(AllocNode heap)
InterFlowAnalysis	getInterFlowAnalysis()
Set<SootMethod>	getInvokedMethods(AllocNode heap)
PTA	getPta()
Set<AllocNode>	getReceiverObjects(SootMethod method)
XPAG	getXpag()
boolean	hasNonThisLoadFromField(AllocNode heap, SparkField field)
boolean	hasNonThisStoreOnField(AllocNode heap, SparkField field)
boolean	isCoarseType(Type type)

Methods inherited from class java.lang.Object

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

Field Details

pta

protected final PTA pta

pag

protected final PAG pag

o2HCQ

protected final Map<AllocNode,HeapContainerQuery> o2HCQ

o2Fields

protected final Map<AllocNode,Set<SparkField>> o2Fields

t2Fields

protected final Map<Type,Set<SparkField>> t2Fields

o2nonThisFStores

protected final Map<AllocNode,Map<SparkField,Set<VarNode>>> o2nonThisFStores

t2nonThisFStores

protected final Map<Type,Map<SparkField,Set<VarNode>>> t2nonThisFStores

o2nonThisFLoads

protected final Map<AllocNode,Map<SparkField,Set<VarNode>>> o2nonThisFLoads

t2nonThisFLoads

protected final Map<Type,Map<SparkField,Set<VarNode>>> t2nonThisFLoads

o2InvokedMethods

protected final Map<AllocNode,Set<SootMethod>> o2InvokedMethods

t2InvokedMethods

protected final Map<Type,Set<SootMethod>> t2InvokedMethods

m2receiverObjects

protected final Map<SootMethod,Set<AllocNode>> m2receiverObjects

rawOrPolyTypes

protected final Set<Type> rawOrPolyTypes

xpag

protected final XPAG xpag

interfa

protected final InterFlowAnalysis interfa

Constructor Details

XUtility

public XUtility(PTA pta)

Method Details

getPta

public PTA getPta()

getXpag

public XPAG getXpag()

getInterFlowAnalysis

public InterFlowAnalysis getInterFlowAnalysis()

isCoarseType

public boolean isCoarseType(Type type)

getReceiverObjects

public Set<AllocNode> getReceiverObjects(SootMethod method)

getInvokedMethods

public Set<SootMethod> getInvokedMethods(AllocNode heap)

getHCQ

public HeapContainerQuery getHCQ(AllocNode heap)

getFields

public Set<SparkField> getFields()

getFields

public Set<SparkField> getFields(AllocNode heap)

getFields

public Set<SparkField> getFields(Type type)

hasNonThisStoreOnField

public boolean hasNonThisStoreOnField(AllocNode heap,
 SparkField field)

hasNonThisLoadFromField

public boolean hasNonThisLoadFromField(AllocNode heap,
 SparkField field)