Package 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	Description
Conch(PTA pta)

Method Summary

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

Conch

public Conch(PTA pta)

Method Details

ctxDependentHeaps

public Set<Object> ctxDependentHeaps()

ctxIndenpendentHeaps

public Set<AllocNode> ctxIndenpendentHeaps()

ctxDependentHeaps2

public Set<AllocNode> ctxDependentHeaps2()

runClassifier

public void runClassifier()