public class NullPointerFrameWork<T extends ISSABasicBlock> extends java.lang.Object implements com.ibm.wala.dataflow.graph.IKilldallFramework<T,NullPointerState>
| Constructor and Description |
|---|
NullPointerFrameWork(ControlFlowGraph<SSAInstruction,T> cfg,
IR ir) |
| Modifier and Type | Method and Description |
|---|---|
com.ibm.wala.util.graph.Graph<T> |
getFlowGraph() |
com.ibm.wala.cfg.exc.intra.NullPointerTransferFunctionProvider<T> |
getTransferFunctionProvider() |
public NullPointerFrameWork(ControlFlowGraph<SSAInstruction,T> cfg, IR ir)
public com.ibm.wala.util.graph.Graph<T> getFlowGraph()
getFlowGraph in interface com.ibm.wala.dataflow.graph.IKilldallFramework<T extends ISSABasicBlock,NullPointerState>public com.ibm.wala.cfg.exc.intra.NullPointerTransferFunctionProvider<T> getTransferFunctionProvider()
getTransferFunctionProvider in interface com.ibm.wala.dataflow.graph.IKilldallFramework<T extends ISSABasicBlock,NullPointerState>