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 and Description
protected InterFlowAnalysis	interfa
protected Map<SootMethod,Set<AllocNode>>	m2receiverObjects
protected Map<AllocNode,Set<SparkField>>	o2Fields
protected Map<AllocNode,HeapContainerQuery>	o2HCQ
protected Map<AllocNode,Set<SootMethod>>	o2InvokedMethods
protected Map<AllocNode,Map<SparkField,Set<VarNode>>>	o2nonThisFLoads
protected Map<AllocNode,Map<SparkField,Set<VarNode>>>	o2nonThisFStores
protected PAG	pag
protected PTA	pta
protected Set<Type>	rawOrPolyTypes
protected Map<Type,Set<SparkField>>	t2Fields
protected Map<Type,Set<SootMethod>>	t2InvokedMethods
protected Map<Type,Map<SparkField,Set<VarNode>>>	t2nonThisFLoads
protected Map<Type,Map<SparkField,Set<VarNode>>>	t2nonThisFStores
protected XPAG	xpag

Constructor Summary

Constructors

Constructor and Description
XUtility(PTA pta)

Method Summary

Modifier and Type	Method and 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 Detail

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 Detail

XUtility

public XUtility(PTA pta)

Method Detail

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)