qilin.pta.toolkits.conch

Class Conch

java.lang.Object

qilin.pta.toolkits.conch.AbstractConch

qilin.pta.toolkits.conch.Conch

public class Conch
extends AbstractConch

Field Summary

Fields inherited from class qilin.pta.toolkits.conch.AbstractConch

invokedMethods, m2thisFLoads, m2thisFStores, o2fs, o2nonThisFLoads, o2nonThisFStores, pag, pta

Constructor Summary

Constructors

Constructor and Description
Conch(PTA pta)

Method Summary

Modifier and Type	Method and Description
Set<Object>	ctxDependentHeaps()
Set<AllocNode>	ctxDependentHeaps2()
Set<AllocNode>	ctxIndenpendentHeaps()
void	runClassifier()

Methods inherited from class qilin.pta.toolkits.conch.AbstractConch

emptyFieldPts, getSMAPG, hasLoadOn, hasStoreOn

Methods inherited from class java.lang.Object

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

Constructor Detail

Conch

public Conch(PTA pta)

Method Detail

ctxDependentHeaps

public Set<Object> ctxDependentHeaps()

ctxIndenpendentHeaps

public Set<AllocNode> ctxIndenpendentHeaps()

ctxDependentHeaps2

public Set<AllocNode> ctxDependentHeaps2()

runClassifier

public void runClassifier()