Package 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:

IKilldallFramework<T,NullPointerState>

public class NullPointerFrameWork<T extends ISSABasicBlock>
extends Object
implements 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.

Author:

Juergen Graf <graf@kit.edu>

Constructor Summary

Constructors

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

Method Summary

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

NullPointerFrameWork

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

Method Details

getFlowGraph

public Graph<T> getFlowGraph()

Specified by:

getFlowGraph in interface IKilldallFramework<T extends ISSABasicBlock,NullPointerState>

Returns:

the flow graph which induces this dataflow problem

getTransferFunctionProvider

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

Specified by:

getTransferFunctionProvider in interface IKilldallFramework<T extends ISSABasicBlock,NullPointerState>

Returns:

an object which provides the flow function for each node in the graph