qilin.pta.toolkits.conch

Class AbstractConch

java.lang.Object

qilin.pta.toolkits.conch.AbstractConch

Direct Known Subclasses:

Conch

public class AbstractConch
extends Object

Field Summary

Fields

Modifier and Type	Field and Description
protected Map<AllocNode,Set<SootMethod>>	invokedMethods
protected Map<SootMethod,Map<SparkField,Set<VarNode>>>	m2thisFLoads
protected Map<SootMethod,Map<SparkField,Set<Pair<VarNode,VarNode>>>>	m2thisFStores
protected Map<AllocNode,Set<SparkField>>	o2fs
protected Map<AllocNode,Map<SparkField,Set<VarNode>>>	o2nonThisFLoads
protected Map<AllocNode,Map<SparkField,Set<Pair<VarNode,VarNode>>>>	o2nonThisFStores
PAG	pag
PTA	pta

Constructor Summary

Constructors

Constructor and Description
AbstractConch(PTA pta)

Method Summary

Modifier and Type	Method and Description
protected boolean	emptyFieldPts(AllocNode heap, SparkField field)
SMPAG	getSMAPG(MethodPAG mpag)
protected boolean	hasLoadOn(AllocNode heap, SparkField field)
protected boolean	hasStoreOn(AllocNode heap, SparkField field)

Methods inherited from class java.lang.Object

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

Field Detail

pta

public final PTA pta

pag

public final PAG pag

invokedMethods

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

m2thisFStores

protected final Map<SootMethod,Map<SparkField,Set<Pair<VarNode,VarNode>>>> m2thisFStores

o2nonThisFStores

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

m2thisFLoads

protected final Map<SootMethod,Map<SparkField,Set<VarNode>>> m2thisFLoads

o2nonThisFLoads

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

o2fs

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

Constructor Detail

AbstractConch

public AbstractConch(PTA pta)

Method Detail

getSMAPG

public SMPAG getSMAPG(MethodPAG mpag)

emptyFieldPts

protected boolean emptyFieldPts(AllocNode heap,
                                SparkField field)

hasLoadOn

protected boolean hasLoadOn(AllocNode heap,
                            SparkField field)

hasStoreOn

protected boolean hasStoreOn(AllocNode heap,
                             SparkField field)