com.ibm.wala.cfg.exc.intra

Class NullPointerFrameWork<T extends ISSABasicBlock>

java.lang.Object

com.ibm.wala.cfg.exc.intra.NullPointerFrameWork<T>

All Implemented Interfaces:

com.ibm.wala.dataflow.graph.IKilldallFramework<T,NullPointerState>

public class NullPointerFrameWork<T extends ISSABasicBlock>
extends java.lang.Object
implements com.ibm.wala.dataflow.graph.IKilldallFramework<T,NullPointerState>

Nullpointer analysis - NOT A REAL KILDALL framework instance, because the transfer functions are not distribute (similar to constant propagation). Therefore we remove back edges in the flow graph.

Constructor Summary

Constructors

Constructor and Description
NullPointerFrameWork(ControlFlowGraph<SSAInstruction,T> cfg, IR ir)

Method Summary

Modifier and Type	Method and Description
com.ibm.wala.util.graph.Graph<T>	getFlowGraph()
com.ibm.wala.cfg.exc.intra.NullPointerTransferFunctionProvider<T>	getTransferFunctionProvider()

Methods inherited from class java.lang.Object

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

Constructor Detail

NullPointerFrameWork

public NullPointerFrameWork(ControlFlowGraph<SSAInstruction,T> cfg,
                            IR ir)

Method Detail

getFlowGraph

public com.ibm.wala.util.graph.Graph<T> getFlowGraph()

Specified by:

getFlowGraph in interface com.ibm.wala.dataflow.graph.IKilldallFramework<T extends ISSABasicBlock,NullPointerState>

getTransferFunctionProvider

public com.ibm.wala.cfg.exc.intra.NullPointerTransferFunctionProvider<T> getTransferFunctionProvider()

Specified by:

getTransferFunctionProvider in interface com.ibm.wala.dataflow.graph.IKilldallFramework<T extends ISSABasicBlock,NullPointerState>