Package 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	Description
protected final Map<AllocNode,Set<SootMethod>>	invokedMethods
protected final Map<SootMethod,Map<SparkField,Set<VarNode>>>	m2thisFLoads
protected final Map<SootMethod,Map<SparkField,Set<Pair<VarNode,VarNode>>>>	m2thisFStores
protected final Map<AllocNode,Set<SparkField>>	o2fs
protected final Map<AllocNode,Map<SparkField,Set<VarNode>>>	o2nonThisFLoads
protected final Map<AllocNode,Map<SparkField,Set<Pair<VarNode,VarNode>>>>	o2nonThisFStores
final PAG	pag
final PTA	pta

Constructor Summary

Constructors

Constructor	Description
AbstractConch(PTA pta)

Method Summary

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

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 Details

AbstractConch

public AbstractConch(PTA pta)

Method Details

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)