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
-
Method Summary
Modifier and TypeMethodDescriptioncom.ibm.wala.cfg.exc.intra.NullPointerTransferFunctionProvider
<T>
-
Constructor Details
-
NullPointerFrameWork
-
-
Method Details
-
getFlowGraph
- Specified by:
getFlowGraph
in interfaceIKilldallFramework<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 interfaceIKilldallFramework<T extends ISSABasicBlock,
NullPointerState> - Returns:
- an object which provides the flow function for each node in the graph
-