com.ibm.wala.dalvik.classLoader

Class DexIContextInterpreter

java.lang.Object

com.ibm.wala.dalvik.classLoader.DexIContextInterpreter

All Implemented Interfaces:

com.ibm.wala.ipa.callgraph.cha.CHAContextInterpreter, com.ibm.wala.ipa.callgraph.propagation.rta.RTAContextInterpreter, com.ibm.wala.ipa.callgraph.propagation.SSAContextInterpreter

public class DexIContextInterpreter
extends Object
implements com.ibm.wala.ipa.callgraph.propagation.SSAContextInterpreter

Constructor Summary

Constructors

Constructor and Description
DexIContextInterpreter(com.ibm.wala.ipa.callgraph.IAnalysisCacheView cache)

Method Summary

Modifier and Type	Method and Description
com.ibm.wala.cfg.ControlFlowGraph<com.ibm.wala.ssa.SSAInstruction,com.ibm.wala.ssa.ISSABasicBlock>	getCFG(com.ibm.wala.ipa.callgraph.CGNode n)
com.ibm.wala.ssa.DefUse	getDU(com.ibm.wala.ipa.callgraph.CGNode node)
com.ibm.wala.ssa.IR	getIR(com.ibm.wala.ipa.callgraph.CGNode node)
com.ibm.wala.ssa.IRView	getIRView(com.ibm.wala.ipa.callgraph.CGNode node)
int	getNumberOfStatements(com.ibm.wala.ipa.callgraph.CGNode node)
Iterator<com.ibm.wala.classLoader.CallSiteReference>	iterateCallSites(com.ibm.wala.ipa.callgraph.CGNode node)
Iterator<com.ibm.wala.types.FieldReference>	iterateFieldsRead(com.ibm.wala.ipa.callgraph.CGNode node)
Iterator<com.ibm.wala.types.FieldReference>	iterateFieldsWritten(com.ibm.wala.ipa.callgraph.CGNode node)
Iterator<com.ibm.wala.classLoader.NewSiteReference>	iterateNewSites(com.ibm.wala.ipa.callgraph.CGNode node)
boolean	recordFactoryType(com.ibm.wala.ipa.callgraph.CGNode node, com.ibm.wala.classLoader.IClass klass)
boolean	understands(com.ibm.wala.ipa.callgraph.CGNode node)

Methods inherited from class java.lang.Object

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

Constructor Detail

DexIContextInterpreter

public DexIContextInterpreter(com.ibm.wala.ipa.callgraph.IAnalysisCacheView cache)

Method Detail

understands

public boolean understands(com.ibm.wala.ipa.callgraph.CGNode node)

Specified by:

understands in interface com.ibm.wala.ipa.callgraph.cha.CHAContextInterpreter

recordFactoryType

public boolean recordFactoryType(com.ibm.wala.ipa.callgraph.CGNode node,
                                 com.ibm.wala.classLoader.IClass klass)

Specified by:

recordFactoryType in interface com.ibm.wala.ipa.callgraph.propagation.rta.RTAContextInterpreter

iterateNewSites

public Iterator<com.ibm.wala.classLoader.NewSiteReference> iterateNewSites(com.ibm.wala.ipa.callgraph.CGNode node)

Specified by:

iterateNewSites in interface com.ibm.wala.ipa.callgraph.cha.CHAContextInterpreter

Specified by:

iterateNewSites in interface com.ibm.wala.ipa.callgraph.propagation.rta.RTAContextInterpreter

iterateFieldsWritten

public Iterator<com.ibm.wala.types.FieldReference> iterateFieldsWritten(com.ibm.wala.ipa.callgraph.CGNode node)

Specified by:

iterateFieldsWritten in interface com.ibm.wala.ipa.callgraph.propagation.rta.RTAContextInterpreter

iterateFieldsRead

public Iterator<com.ibm.wala.types.FieldReference> iterateFieldsRead(com.ibm.wala.ipa.callgraph.CGNode node)

Specified by:

iterateFieldsRead in interface com.ibm.wala.ipa.callgraph.propagation.rta.RTAContextInterpreter

iterateCallSites

public Iterator<com.ibm.wala.classLoader.CallSiteReference> iterateCallSites(com.ibm.wala.ipa.callgraph.CGNode node)

Specified by:

iterateCallSites in interface com.ibm.wala.ipa.callgraph.cha.CHAContextInterpreter

getNumberOfStatements

public int getNumberOfStatements(com.ibm.wala.ipa.callgraph.CGNode node)

Specified by:

getNumberOfStatements in interface com.ibm.wala.ipa.callgraph.propagation.SSAContextInterpreter

getIR

public com.ibm.wala.ssa.IR getIR(com.ibm.wala.ipa.callgraph.CGNode node)

Specified by:

getIR in interface com.ibm.wala.ipa.callgraph.propagation.SSAContextInterpreter

getIRView

public com.ibm.wala.ssa.IRView getIRView(com.ibm.wala.ipa.callgraph.CGNode node)

Specified by:

getIRView in interface com.ibm.wala.ipa.callgraph.propagation.SSAContextInterpreter

getDU

public com.ibm.wala.ssa.DefUse getDU(com.ibm.wala.ipa.callgraph.CGNode node)

Specified by:

getDU in interface com.ibm.wala.ipa.callgraph.propagation.SSAContextInterpreter

getCFG

public com.ibm.wala.cfg.ControlFlowGraph<com.ibm.wala.ssa.SSAInstruction,com.ibm.wala.ssa.ISSABasicBlock> getCFG(com.ibm.wala.ipa.callgraph.CGNode n)

Specified by:

getCFG in interface com.ibm.wala.ipa.callgraph.propagation.SSAContextInterpreter